1342 search results - page 85 / 269 » MEMS Design And Verification |
TCAD
2008
14 years 9 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
DAC
1994
ACM
15 years 2 months ago
1994
ACM
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...
ISQED
2007
IEEE
15 years 4 months ago
2007
IEEE
Novel experimental characterization method and circuit modeling for frequency-variant transmission lines are presented. Experimental test patterns are designed and fabricated by u...
102
click to vote
EURODAC
1994
IEEE
15 years 2 months ago
1994
IEEE
We outline a general methodology for the formal verification of pipeline conflicts in RISC cores. The different kinds of conflicts that can occur due to the simultaneous execution...
BPM
2000
Springer
15 years 1 months ago
2000
Springer
Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, ...