A Formally Verified Procedure for Width Inference in FIRRTL
Abstract elided by the publisher.
Related papers
- Certified Decision Procedures for Width-Independent Bitvector Predicates OOPSLA 2025
- A Mechanised, Bidirectional Type System for Bit-Width Determination in SystemVerilog CAV 2026
- Typing linear constraints TOPLAS 2010
- Verification of Programs with ADTs Using Shallow Horn Clauses SAS 2024
- A verified decision procedure for the first-order theory of rewriting for linear variable-separated rewrite systems CPP 2021
- Circuit Width Estimation via Effect Typing and Linear Dependency ESOP 2024
- A Multi-threaded Fast Hardware Compiler for HDLs CC 2023
- Verified decision procedures for MSO on words based on derivatives of regular expressions JFP 2015