1343 search results - page 84 / 269 » Bounded-lifetime integrated circuits |
GLVLSI
2006
IEEE
15 years 3 months ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...
ICCAD
2000
IEEE
15 years 2 months ago
2000
IEEE
In this paper, we develop a new standard cell placement tool, Dragon2000, to solve large scale placement problem effectively. A top-down hierarchical approach is used in Dragon200...
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
—It is generally acknowledged that nanoelectronics will eventually replace traditional silicon CMOS in high-performance integrated circuits. To that end, considerable investments...
ISCAS
2006
IEEE
15 years 3 months ago
2006
IEEE
—The Delay Filtered Dual Interlocked storage Cell (DF-DICE) offers a scalable solution in different radiation environments for soft error mitigation. The area and speed performan...
APCSAC
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper discusses the use of signed-digit representations in the implementation of fast and efficient residue-arithmetic units. Improvements to existing signed-digit modulo adde...