10718 search results - page 72 / 2144 » On the Circuit Implementation Problem |
125
Voted
VTS
2003
IEEE
15 years 8 months ago
2003
IEEE
Irreversible computation necessarily results in energy dissipation due to information loss. While small in comparison to the power consumption of today’s VLSI circuits, if curre...
144
Voted
ICCAD
2002
IEEE
16 years 9 days ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
125
click to vote
AHS
2007
IEEE
15 years 9 months ago
2007
IEEE
Rapid-prototyping of commercial devices and the demanding requirements for flexible hardware in mobile applications have driven the raise of reconfigurable hardware. The adaptatio...
119
click to vote
EH
2005
IEEE
15 years 9 months ago
2005
IEEE
The scalability problem is a major impediment to the use of hardware evolution for real-world circuit design problems. A potential solution is to model the map between genotype an...
109
Voted
ICCAD
1996
IEEE
15 years 7 months ago
1996
IEEE
This paper presents a new framework for formal logic verification. What is depicted here is fundamentally different from previous approaches. In earlier approaches, the circuit is ...