1342 search results - page 177 / 269 » MEMS Design And Verification |
180
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
On-chip supply networks are playing an increasingly important role for modern nanometer-scale designs. However, the ever growing sizes of power grids make the analysis problem ext...
173
click to vote
TSE
2008
15 years 6 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
196
click to vote
TCS
2002
15 years 5 months ago
2002
The Common Algebraic Specification Language Casl is an expressive language for the formal specification of functional requirements and modular design of software. It has been desi...
142
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Efficient techniques for the manipulation of Binary Decision Diagrams (BDDs) are key to the success of formal verification tools. Recent advances in reachability analysis and mode...
156
click to vote
DAC
1999
ACM
16 years 7 months ago
1999
ACM
A number of researchers have proposed using digital marks to provide ownership identification for intellectual property. Many of these techniques share three specific weaknesses: ...