Formal Verification of Digital Systems, from ASICs to HW/SW Codesign - a Pragmatic Approach
No abstract available.
Related papers
- Formal Verification of Digital Circuits Using Symbolic Ternary System Models CAV 1990
- Fungible Memories for Automated Technology Mapping and Retargeting PLDI 2026
- ELDA: LDA made efficient via algorithm-system codesign submission PPoPP 2020
- Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants CAV 2017
- Formal Methods meet Digital Twins: Challenges and Opportunities ESOP 2026
- Fixed Precision Patterns for the Formal Verification of Mathematical Constant Approximations CPP 2015
- Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems TACAS 2022
- Pragmatics for formal semantics GPCE 2011