Version 0.3.0

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

Version 0.2.5

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

Version 0.2.4

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

Version 0.2.2

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

Version 0.2.1

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