Metadata-Version: 2.1
Name: CoSA
Version: 0.4
Summary: CoreIR Symbolic Analyzer
Home-page: http://github.com/cristian-mattarei/CoSA
Author: Cristian Mattarei
Author-email: cristian.mattarei@gmail.com
License: BSD
Platform: UNKNOWN
Requires-Dist: six
Requires-Dist: pyparsing
Requires-Dist: pysmt
Requires-Dist: coreir
Requires-Dist: hwtypes

================================
 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