Version 0.2.5
Pre-release
Pre-release
·
406 commits
to master
since this release
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