Skip to main content

CoreIR Symbolic Analyzer

Project description

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

Supported Input Formats

Supported Verifications

  • Invariant Properties
  • LTL Properties
  • Proving capabilities
  • Equivalence Checking
  • Parametric (Invariant) Model Checking
  • Fault Analysis
  • Automated Lemma Extraction

CoSA relies on PySMT (, which is a solver agnostic library to interface with SMT solvers.

For more information visit

Project details

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Files for CoSA, version 0.4
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

Supported by

Elastic Elastic Search Pingdom Pingdom Monitoring Google Google BigQuery Sentry Sentry Error logging AWS AWS Cloud computing DataDog DataDog Monitoring Fastly Fastly CDN SignalFx SignalFx Supporter DigiCert DigiCert EV certificate StatusPage StatusPage Status page