Formal Hardware Verification In Hol And In Boyer-moore: A Comparative Analysis (original) (raw)
Related papers
Automating most parts of hardware proofs in HOL
Lecture Notes in Computer Science, 1992
Proof strategies for hardware verification
1996
Verifying Hardware Correctness by Combining Theorem Proving and Model Checking
1995
A unified approach for combining different formalisms for hardware verification
Lecture Notes in Computer Science, 1996
First Steps Towards Automating Hardware Proofs in Hol (Extended Abstract)
1991 International Workshop on the Hol Theorem Proving System and Its Applications, 1991
An industrially effective environment for formal hardware verification
… -Aided Design of …, 2005
Effective Theorem Proving for Hardware Verification
1994
Practical Formal Verification in Microprocessor Design
A Methodology for Large-Scale Hardware Verification
Formal hardware verification methods: A survey
Formal Methods in System Design, 1992
Introduction to Formal Hardware Verification
1999
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
Automatic verification of implementations of large circuits against HDL specifications
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1997
Structuring Hardware Proofs: First steps towards Automation in a Higher-Order Environment
1991
Formal Verification of a DSP Chip Using an Iterative Approach
2002
Structuring and automating hardware proofs in a higher-order theorem-proving environment
Formal Methods in System Design, 1993
Structuring Hardware Proofs: First steps towards Automation in Higher-Order Environment
1998
Verity -- a Formal Verification Program for Custom CMOS Circuits
1994
The Notion of Proof in Hardware Verification
2015
From formal verification to silicon compilation
1991
Formal specification in VHDL for hardware verification
The Hardware Verification Workbench
A Meta Hardware Description Language Melasy for Model-Checking Systems
2008
Embedding hardware verification within a commercial design framework
Lecture Notes in Computer Science, 1993
A Survey on Assertion-based Hardware Verification
ACM Computing Surveys
Eliminating higher-order quantifiers to obtain decision procedures for hardware verification
Lecture Notes in Computer Science, 1994
Translating HOL functions to hardware
Promising directions in hardware design verification
2002
Comparative study of strategies for formal verification of high-level processors
IEEE International Conference on Computer Design: VLSI in Computers and Processors, 2004. ICCD 2004. Proceedings.
HOOVER: hardware object-oriented verification
Proceedings of the 8th Great Lakes Symposium on VLSI (Cat. No.98TB100222), 1998
Formal verification of hardware correctness: introduction and survey of current research
Computer, 1988
An Approach to the Specification and Verification of a Hardware Compilation Scheme
The Journal of supercomputing, 2001