1342 search results - page 18 / 269 » MEMS Design And Verification |
CJ
2010
14 years 9 months ago
2010
rder logic (HOL) theorem prover. The high ability of abstraction in the HOL verification system allows its use for the verification task over the whole design path of the circuit, ...
DATE
2006
IEEE
15 years 3 months ago
2006
IEEE
Structured-ASIC design provides a mid-way point between FPGA and cell-based ASIC design for performance, area and power, but suffers from the same increasing verification burden a...
58
Voted
DAC
1999
ACM
15 years 10 months ago
1999
ACM
DAC
2002
ACM
15 years 10 months ago
2002
ACM
106
click to vote
EUROSYS
2007
ACM
15 years 6 months ago
2007
ACM
Virtual memory has been successfully used in different domains to extend the amount of memory available to applications. We have adapted this mechanism to sensor networks, where,...