1446 search results - page 83 / 290 » Formal analysis of hardware requirements |
ICCAD
2009
IEEE
13 years 7 months ago
2009
IEEE
In this paper, an adaptive sampling method is proposed for the statistical SRAM cell analysis. The method is composed of two components. One part is the adaptive sampler that manip...
ICCD
2004
IEEE
14 years 6 months ago
2004
IEEE
This paper describes XTalkDelay, an industrial-strength methodology and tool for measuring the impact of crosstalk on delays of paths in a design. The main cornerstone of XTalkDel...
ICCAD
2005
IEEE
14 years 6 months ago
2005
IEEE
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...
ICCAD
2005
IEEE
14 years 6 months ago
2005
IEEE
The work in this paper analyses the applicability of carbon nanotube (CNT) bundles as interconnects for VLSI circuits, while taking into account the practical limitations in this ...
DATE
2009
IEEE
14 years 4 months ago
2009
IEEE
Intermodulation distortion is one of the key design requirements of Radio Frequency circuits. The standard approach for analyzing distortion using circuit simulators is to mimic m...