471 search results - page 13 / 95 » Automated Design of Misaligned-Carbon-Nanotube-Immune Circui... |
DAC
2008
ACM
16 years 2 days ago
2008
ACM
120
click to vote
MTV
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract—Abstract models of analog/mixed-signal (AMS) circuits can be used for formal verification and system-level simulation. The difficulty of creating these models preclude...
AEI
1998
14 years 10 months ago
1998
Functional labels provide a simple but very reusable way for defining the functionality of a system and for making use of that knowledge. Unlike more complex functional representa...
DAC
1999
ACM
16 years 1 days ago
1999
ACM
175
click to vote
ACL2
2006
ACM
15 years 2 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...