788 search results - page 16 / 158 » Symbolic Equivalence Checking |
92
Voted
ICALP
1998
Springer
15 years 6 months ago
1998
Springer
105
click to vote
DAC
1997
ACM
15 years 6 months ago
1997
ACM
This paper presents a verification technique which is specifically targeted to formally comparing large combinational circuits with some structural similarities. The approach co...
ICCAD
1996
IEEE
15 years 6 months ago
1996
IEEE
ICALP
1992
Springer
15 years 6 months ago
1992
Springer
84
Voted
POS
1990
Springer
15 years 5 months ago
1990
Springer
