Version 0.2.2
Pre-release
Pre-release
·
416 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
- Automated Lemma Extraction