10718 search results - page 105 / 2144 » On the Circuit Implementation Problem |
203
Voted
Lecture Notes
VLSI (Very Large Scale Integration) CMOS (Complementary Metal Oxide Semiconductor) technology is the main driver of our digital revolution. The goals of these lecture are to learn ...
119
Voted
FORMATS
2006
Springer
15 years 7 months ago
2006
Springer
Using a variant of Clariso-Cortadella's parametric method for verifying asynchronous circuits, we formally derive a set of linear constraints that ensure the correctness of so...
105
click to vote
ISCAS
2003
IEEE
15 years 8 months ago
2003
IEEE
— We consider a circuit paradigm that combines conventional silicon microelectronics with emerging self-assembled nanoelectronics. Peripheral CMOS circuitry is used to drive the ...
84
Voted
ASPDAC
2009
ACM
15 years 10 months ago
2009
ACM
- We proposed a novel Boolean Satisfiability (SAT)-controlled redundancy addition and removal (RAR) algorithm to resolve the performance and quality problems of
101
Voted
ICCD
2002
IEEE
16 years 14 days ago
2002
IEEE
In this paper, we propose a new representation of VLSI floorplan and building block problem. The representation is the generalization of Polish expression [1]. By proposing a new ...