The Hardware Verification Workbench (original) (raw)
Related papers
Proof Planning for Automating Hardware Verification
1997
Proof strategies for hardware verification
1996
Verifying Hardware Correctness by Combining Theorem Proving and Model Checking
1995
Effective Theorem Proving for Hardware Verification
1994
Structuring Hardware Proofs: First steps towards Automation in Higher-Order Environment
1998
Automating most parts of hardware proofs in HOL
Lecture Notes in Computer Science, 1992
Structuring Hardware Proofs: First steps towards Automation in a Higher-Order Environment
1991
Introduction to Formal Hardware Verification
1999
A Methodology for Large-Scale Hardware Verification
An industrially effective environment for formal hardware verification
… -Aided Design of …, 2005
Embedding hardware verification within a commercial design framework
Lecture Notes in Computer Science, 1993
The Notion of Proof in Hardware Verification
2015
Structuring and automating hardware proofs in a higher-order theorem-proving environment
Formal Methods in System Design, 1993
A unified approach for combining different formalisms for hardware verification
Lecture Notes in Computer Science, 1996
Evaluation of the Larch/VHDL Interactive Prover in Hardware Verification
1997
Promising directions in hardware design verification
2002
A Panel: Unpaved Road Between Hardware Verification and Software Testing Techniques
Formal hardware verification methods: A survey
Formal Methods in System Design, 1992
Formal verification in hardware design
ACM Transactions on Design Automation of Electronic Systems, 1999
A light-weight framework for hardware verification
International Journal on Software Tools for Technology Transfer, 2001
Formal Hardware Verification In Hol And In Boyer-moore: A Comparative Analysis
1991., International Workshop on the HOL Theorem Proving System and Its Applications, 1991
Experiments in Automating Hardware Verification Using Inductive Proof Planning
Formal Methods in Computer-Aided Design, 1996
Hardware Verification Using Software Analyzers
2015 IEEE Computer Society Annual Symposium on VLSI, 2015
Correct Hardware Design and Verification Methods
Lecture Notes in Computer Science, 2001
Journal on Satisfiability, Boolean Modeling and Computation
A Meta Hardware Description Language Melasy for Model-Checking Systems
2008
2004
Practical Formal Verification in Microprocessor Design
First Steps Towards Automating Hardware Proofs in Hol (Extended Abstract)
1991 International Workshop on the Hol Theorem Proving System and Its Applications, 1991