259 search results - page 7 / 52 » Using Transformations and Verification in Circuit Design |
ISCAS
2003
IEEE
15 years 5 months ago
2003
IEEE
: The design of portable battery-operated devices requires low-power computation circuits. This paper presents a new multiplier-accumulator (MAC) design approach, which in contrast...
TVLSI
2008
15 years 7 days ago
2008
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...
123
click to vote
FMCAD
2007
Springer
15 years 4 months ago
2007
Springer
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
110
click to vote
ASYNC
1997
IEEE
15 years 4 months ago
1997
IEEE
Abstract-This paper describes the design and verification of a high-performance asynchronous differential equation solver benchmark circuit. The design has low control overhead whi...
ICCAD
2006
IEEE
15 years 9 months ago
2006
IEEE
The use of CMOS nanometer technologies at 65 nm and below will pose serious challenges on the design of mixed-signal integrated systems in the very near future. Rising design comp...