Supported Input Formats:
- CoreIR (https://github.com/rdaly525/coreir)
- Verilog
- SystemVerilog
- Symbolic Transition System
- Explicit Transition System
- BTOR2 (https://github.com/Boolector/btor2tools)
Supported Verifications:
- Invariant Properties
- LTL Properties
- Proving capabilities
- Equivalence Checking
- Parametric (Invariant) Model Checking
- Fault Analysis
- Automated Lemma Extraction