302 search results - page 13 / 61 » Automatic Verification of Timed Circuits |
ICCD
2005
IEEE
14 years 7 months ago
2005
IEEE
— Since rapid progress has been made in device improvement and integration of small carbon nanotube fieldeffect transistors (CNFETs) circuits, the time has come for developing c...
ICCAD
2003
IEEE
14 years 4 months ago
2003
IEEE
Process variations have become a critical issue in performance verification of high-performance designs. We present a new, statistical timing analysis method that accounts for int...
ATVA
2009
Springer
14 years 2 months ago
2009
Springer
TAPAAL is a new platform independent tool for modelling, simulation and verification of timed-arc Petri nets. TAPAAL provides a stand-alone editor and simulator, while the verifica...
ICASSP
2009
IEEE
14 years 5 months ago
2009
IEEE
Children need to master reading letter-names and lettersounds before reading phrases and sentences. Pronunciation assessment of letter-names and letter-sounds read aloud is an imp...
DAC
2006
ACM
14 years 12 months ago
2006
ACM
Chips manufactured in 90 nm technology have shown large parametric variations, and a worsening trend is predicted. These parametric variations make circuit optimization difficult ...