CoreIR Symbolic Analyzer
CoSA is an SMT-based symbolic model checker for hardware design.
Supported Input Formats
- 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
Release history Release notifications
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
|Filename, size||File type||Python version||Upload date||Hashes|
|Filename, size CoSA-0.4-py2.py3-none-any.whl (132.3 kB)||File type Wheel||Python version py2.py3||Upload date||Hashes View hashes|