101
click to vote
ICCAD
1998
IEEE
15 years 7 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...