1342 search results - page 180 / 269 » MEMS Design And Verification |
163
click to vote
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
In signal integrity analysis, the joint effect of propagated noise through library cells, and of the noise injected on a quiet net by neighboring switching nets through coupling c...
153
click to vote
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
141
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
The work we present here is mainly concerned with interagent communication, MAS communication protocols and, in particular, software tools and environments to define, experiment a...
145
click to vote
SIGADA
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
154
click to vote
ASPDAC
2004
ACM
15 years 11 months ago
2004
ACM
Many important tasks in circuit design and verification can be performed in practice via reductions to Boolean Satisfiability (SAT), making SAT a fundamental EDA problem. However ...