Optimizing designs containing black boxes
DAC '97 Proceedings of the 34th annual Design Automation Conference
An implicit algorithm for finding steady states and its application to FSM verification
DAC '98 Proceedings of the 35th annual Design Automation Conference
Efficient equivalence checking of multi-phase designs using phase abstraction and retiming
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Implicit enumeration of strongly connected components
ICCAD '99 Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design
Sequential optimization in the absence of global reset
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Principles of Sequential-Equivalence Verification
IEEE Design & Test
Hi-index | 0.00 |