10718 search results - page 514 / 2144 » On the Circuit Implementation Problem |
159
click to vote
ICCAD
1998
IEEE
15 years 11 months ago
1998
IEEE
Combinational verification is an important piece of most equivalence checking tools. In the recent past, many combinational verification algorithms have appeared in the literature...
187
click to vote
TABLEAUX
1999
Springer
15 years 11 months ago
1999
Springer
We combine techniques originally developed for refutational first-order theorem proving within the clause tree framework with techniques for minimal model computation developed wi...
155
click to vote
ITC
1997
IEEE
15 years 11 months ago
1997
IEEE
As the sizes of general and special purpose processors increase rapidly, generating high quality manufacturing tests for them is becoming a serious problem in industry. This paper...
152
click to vote
ICCAD
1996
IEEE
15 years 11 months ago
1996
IEEE
We propose a new method for generating BDDs from hardware algorithm descriptions written in a programming language. Our system can deal with control structures, such as conditiona...
245
click to vote
ISCA
1993
IEEE
15 years 11 months ago
1993
IEEE
Advances in circuit and integration technology are continuously boosting the speed of microprocessors. One of the main challenges presented by such developments is the effective u...