Version 0.2.1
Pre-release
Pre-release
·
420 commits
to master
since this release
Supported Input Formats:
- CoreIR (https://github.com/rdaly525/coreir)
- Verilog
- 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