82 search results - page 9 / 17 » The Case for Analog Circuit Verification |
GLVLSI
1998
IEEE
15 years 3 months ago
1998
IEEE
In this research, we devised a new simple technique for statically holding analog weights, which does not require periodic refreshing. It further contains a mechanism to locally u...
DAC
1990
ACM
15 years 3 months ago
1990
ACM
In this paper, we provide an overview of a system designed for verifying the consistency of timing specifications for digital circuits. The utility of the system comes from the ne...
73
Voted
DAC
2009
ACM
16 years 19 days ago
2009
ACM
Semiconductor design companies are in a continuous search for design tools that address the ever increasing chip design complexity coupled with strict time-to-market schedules and...
83
Voted
BMAS
2000
IEEE
15 years 4 months ago
2000
IEEE
— Sigma-Delta digital to analog converters are less vulnerable to circuit imperfections than their A/D counterparts because they have their noise-shaping loop all in the digital ...
115
Voted
ASIAN
2009
Springer
15 years 23 days ago
2009
Springer
Abstract. Clever algorithm design is sometimes superseded by simple encodings into logic. We apply this motto to a few case studies in the formal verification of security propertie...