1342 search results - page 59 / 269 » MEMS Design And Verification |
CLUSTER
2000
IEEE
15 years 2 months ago
2000
IEEE
Agilent Technologies Boeblingen Verification Solutions is offering a variety of remote system management products. This paper will summarize the key technologies on which Agilents...
ICCAD
2006
IEEE
15 years 6 months ago
2006
IEEE
Analog and mixed-signal CAD looks like a nice success story: there's been significant research in building design automation tools since the late 80's, and commercial to...
DATE
2004
IEEE
15 years 1 months ago
2004
IEEE
Productivity data for IC designs indicates an exponential increase in design time and cost with the number of elements that are to be included in a device. Present applications re...
ASYNC
2002
IEEE
15 years 2 months ago
2002
IEEE
Advanced clock-delayed1 and self-resetting domino circuits are becoming increasingly important design styles in aggressive synchronous as well as asynchronous design. Their design...
DAC
2001
ACM
15 years 10 months ago
2001
ACM
roperty Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines Dong Wang , Pei-Hsin Ho , Jiang Long , James Kukula Yunshan Zhu , Tony Ma , Robert D...