Reducing BDD size by exploiting functional dependencies
DAC '93 Proceedings of the 30th international Design Automation Conference
New techniques for efficient verification with implicitly conjoined BDDs
DAC '94 Proceedings of the 31st annual Design Automation Conference
Verification techniques for cache coherence protocols
ACM Computing Surveys (CSUR)
Formal verification in hardware design: a survey
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Handling special constructs in symbolic simulation
Proceedings of the 39th annual Design Automation Conference
Requirements analysis using forward and backward search
Annals of Software Engineering
Automatic Verification of Asynchronous Circuits
IEEE Design & Test
Evaluating Deadlock Detection Methods for Concurrent Software
IEEE Transactions on Software Engineering
Proceedings of the 43rd annual Design Automation Conference
| Hi-index | 0.00 |