Some Complexity Results for SystemVerilog Assertions
Abstract elided by the publisher.
Related papers
- A Mechanised, Bidirectional Type System for Bit-Width Determination in SystemVerilog CAV 2026
- LLHD: a multi-level intermediate representation for hardware description languages PLDI 2020
- Computability and Complexity Results for a Spatial Assertion Language for Data Structures APLAS 2001
- Implementation of an Array Bound Checker POPL 1977
- Quantitative analysis of assertion violations in probabilistic programs PLDI 2021
- Accelerating Automated Program Verifiers by Automatic Proof Localization CAV 2025
- Some Complexity Results for Stateful Network Verification TACAS 2016
- Propositional Logics of Programs: Systems, Models, and Complexity POPL 1980