Functional verification of MOS circuits
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
An Algebraic Model for Asynchronous Circuits Verification
IEEE Transactions on Computers
The application of program verification techniques to hardware verification
25 years of DAC Papers on Twenty-five years of electronic design automation
Formal Verification of Fault Tolerance Using Theorem-Proving Techniques
IEEE Transactions on Computers
A methodology for hardware verification based on logic simulation
Journal of the ACM (JACM)
Formal design verification of digital systems
DAC '83 Proceedings of the 20th Design Automation Conference
A formal design verification system based on an automated reasoning system
DAC '84 Proceedings of the 21st Design Automation Conference
A verification technique for hardware designs
DAC '82 Proceedings of the 19th Design Automation Conference
The application of program verification techniques to hardware verification
DAC '79 Proceedings of the 16th Design Automation Conference
Hi-index | 0.01 |