302 search results - page 30 / 61 » Automatic Verification of Timed Circuits |
120
Voted
PR
2010
14 years 11 months ago
2010
Biometric based personal authentication is an effective method for automatically recognizing, with a high confidence, a person’s identity. By observing that the texture pattern p...
ICCD
2007
IEEE
15 years 9 months ago
2007
IEEE
Physical layout generation of RF embedded passive design is not an easy task since the response of a given layout is tightly coupled with the response of the individual components...
105
Voted
FM
2003
Springer
15 years 5 months ago
2003
Springer
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
97
Voted
ASPDAC
2005
ACM
15 years 2 months ago
2005
ACM
– Clocking is an essential component of any embedded system design. However, traditional design techniques are either short of clocking support or too complex for users. The Unif...
105
click to vote
DAC
2002
ACM
16 years 1 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...