142 search results - page 9 / 29 » An Algorithm for Locating Logic Design Errors |
DAC
2008
ACM
16 years 7 days ago
2008
ACM
This paper addresses the problem of computational error modeling and analysis. Choosing different word-lengths for each functional unit in hardware implementations of numerical al...
102
click to vote
ISCAS
1994
IEEE
15 years 3 months ago
1994
IEEE
This paper presents a novel VLSI architecture for high-speed data compressor designs which implement the well-known LZ77 algorithm. The architecture mainly consists of three units...
107
click to vote
WSC
1998
15 years 18 days ago
1998
Emulation is the process of exactly imitating a real system. Recent advances in simulation technology make it possible to emulate real world control systems by using a system'...
DAC
2006
ACM
16 years 6 days ago
2006
ACM
Traces Kuntal Nanshi, Fabio Somenzi University of Colorado at Boulder ne abstraction refinement and simulation to provide a more efficient approach to checking invariant properti...
101
click to vote
SIGCOMM
1996
ACM
15 years 3 months ago
1996
ACM
Emerging indoor mobile computing environments seek to provide a user with an advanced setofcommunication-intensive applications, which require sustained quality of service in the ...