Alternative Approaches to Hardware Verification (abstract)
No abstract available.
Related papers
- CPV: A Circuit-Based Program Verifier TACAS 2024
- Progress in Certifying Hardware Model Checking Results CAV 2021
- Combining functional programming and hardware verification (abstract of invited talk) ICFP 2000
- A Compiler Approach to Fast Hardware Design Space Exploration in FPGA-based Systems PLDI 2002
- Parallel Programming with Control Abstraction TOPLAS 1994
- WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification TACAS 2023
- Massively Parallel Mining of Specifications for Hardware Designs CAV 2026
- Pantomime: Constructive Leakage Proofs via Simulation PLDI 2026