10718 search results - page 105 / 2144 » On the Circuit Implementation Problem |
255
click to vote
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 ...
150
click to vote
FORMATS
2006
Springer
15 years 10 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...
132
click to vote
ISCAS
2003
IEEE
15 years 11 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 ...
119
click to vote
ASPDAC
2009
ACM
16 years 26 days 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
128
click to vote
ICCD
2002
IEEE
16 years 3 months 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 ...