Functional Verification of Power Gated Designs by Compositional Reasoning
Abstract elided by the publisher.
Related papers
- Citrus: Algebraic Reasoning about Superconductor Electronics ICFP 2026
- Matching Plans for Frame Inference in Compositional Reasoning ECOOP 2024
- Parameterized Verification of Quantum Circuits POPL 2026
- Revamping Verilog Semantics for Foundational Verification OOPSLA 2025
- Wire sorts: a language abstraction for safe hardware composition PLDI 2021
- Quantum Circuits Are Just a Phase POPL 2026
- Mechanized verification of fine-grained concurrent programs PLDI 2015
- Compositional Pre-processing for Automated Reasoning in Dependent Type Theory CPP 2023