semvec/pypi-packages huggingface dataset:
CoSA 0.4
CoreIR Symbolic Analyzer
License: BSD

================================
 CoSA: CoreIR Symbolic Analyzer
================================

CoSA is an SMT-based symbolic model checker for hardware design.

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

CoSA relies on PySMT (http://www.pysmt.org), which is a solver
agnostic library to interface with SMT solvers.

For more information visit http://github.com/cristian-mattarei/CoSA