1093 search results - page 163 / 219 » Verifying VLSI Circuits |
ISCAS
2005
IEEE
14 years 2 months ago
2005
IEEE
−−−− A comprehensive analytical study of high-frequency regenerative frequency dividers (RFD) is presented. The study includes two fundamental modes of operation in RFDs, n...
CAV
2008
Springer
13 years 10 months ago
2008
Springer
This paper proposes a new approach for proving arithmetic correctness of data paths in System-on-Chip modules. It complements existing techniques which are, for reasons of complexi...
VLSID
2007
IEEE
14 years 9 months ago
2007
IEEE
We present a technique for automatic verification of pipelined microprocessors using model checking. Antecedent conditioned slicing is an efficient abstraction technique for hardw...
DAC
1998
ACM
14 years 9 months ago
1998
ACM
In this paper we present a statistical method for estimating the maximum power consumption in VLSI circuits. The method is based on the theory of extreme order statistics applied ...
DAC
2002
ACM
14 years 9 months ago
2002
ACM
The ability to compute the parasitic inductance of the interconnect is critical to the timing verification of modern VLSI circuits. A challenging aspect of inductance extraction i...