171 search results - page 3 / 35 » Efficient algorithms for interface timing verification |
107
Voted
CAV
1998
Springer
15 years 6 months ago
1998
Springer
This paper presents a new algorithm for efficiently verifying timed systems. The new algorithm represents timing information using geometric regions and explores the timed state sp...
100
click to vote
ASPDAC
2010
ACM
14 years 12 months ago
2010
ACM
Level-sensitive transparent latches are widely used in high-performance sequential circuit designs. Under process variations, the timing of a transparently latched circuit will ada...
121
Voted
NOSSDAV
2005
Springer
15 years 7 months ago
2005
Springer
Wireless Network Interface (WNI) is one of the most critical components for power efficiency in multimedia streaming to mobile devices. A common strategy to save power is to switc...
156
Voted
DSRT
2008
IEEE
15 years 3 months ago
2008
IEEE
In this contribution a new system for the rapid development of real-time prototypes for digital audio signal processing algorithms on Windows PCs and a Digital Signal Processor (D...
FMCAD
2007
Springer
15 years 8 months ago
2007
Springer
— The concept of applying partial fencing to logic built-in self test (LBIST) hardware structures for the purpose of using partially good chips is well known in the chip design i...