259 search results - page 16 / 52 » Using Transformations and Verification in Circuit Design |
98
Voted
DAC
2009
ACM
16 years 1 months ago
2009
ACM
Post-silicon validation has become an essential step in the design flow of today's complex integrated circuits. One effective technique that provides real-time visibility to ...
117
Voted
JSA
2008
14 years 12 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
114
Voted
FPL
1999
Springer
15 years 4 months ago
1999
Springer
Although verification and simulation tools are always improving, the results they provide remain hard to analyze and interpret. On one hand, verification sticks to the functional ...
101
click to vote
ISMVL
2007
IEEE
15 years 6 months ago
2007
IEEE
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
74
Voted
DELTA
2004
IEEE
15 years 4 months ago
2004
IEEE
Complex arithmetic computations, especially if derived from bit-level software descriptions, can be very inefficient if implemented directly in hardware (e.g., by translation of t...