Formal hardware verification by symbolic ternary trajectory evaluation
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Representing circuits more efficiently in symbolic model checking
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Linking BDD-based symbolic evaluation to interactive theorem-proving
DAC '93 Proceedings of the 30th international Design Automation Conference
Validating PowerPC Microprocessor Custom Memories
IEEE Design & Test
Design and Development Paradigm for Industrial Formal Verification CAD Tools
IEEE Design & Test
Formal Verification Successes at Motorola
Formal Methods in System Design
Generalized Symbolic Trajectory Evaluation - Abstraction in Action
FMCAD '02 Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design
Verification of Infinite State Systems by Compositional Model Checking
CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design
Automated deduction for many-valued logics
Handbook of automated reasoning
Concrete Impact of Formal Verification on Quality in IP Design and Implementation
ISQED '01 Proceedings of the 2nd International Symposium on Quality Electronic Design
Formal Methods in System Design
Fifteen Years of Formal Property Verification in Intel
25 Years of Model Checking
BDD-Based hardware verification
SFM'06 Proceedings of the 6th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems
Verification of computer switching networks: an overview
ATVA'12 Proceedings of the 10th international conference on Automated Technology for Verification and Analysis
Hi-index | 0.00 |