Alternatives and similar repositories for CoSA

Users that are interested in CoSA are comparing it to the libraries listed below

• stanford-centaur / pono

  View on GitHub
  Pono: A flexible and extensible SMT-based model checker
  ☆117Feb 5, 2026Updated last week
• rdaly525 / coreir

  View on GitHub
  ☆104Jun 27, 2022Updated 3 years ago
• iscas-tis / CHA

  View on GitHub
  ☆19Jul 12, 2024Updated last year
• PrincetonUniversity / IMDb-Archive

  View on GitHub
  ILA Model Database
  ☆24Sep 27, 2020Updated 5 years ago
• PrincetonUniversity / ILAng

  View on GitHub
  A Modeling and Verification Platform for SoCs using ILAs
  ☆81Jul 3, 2024Updated last year
• aman-goel / avr

  View on GitHub
  Reads a state transition system and performs property checking
  ☆90Sep 12, 2025Updated 5 months ago
• StanfordAHA / lassen

  View on GitHub
  The PE for the second generation CGRA (garnet).
  ☆18Apr 25, 2025Updated 9 months ago
• stanford-centaur / smt-switch

  View on GitHub
  A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
  ☆139Jan 30, 2026Updated 2 weeks ago
• diffblue / hw-cbmc

  View on GitHub
  The HW-CBMC and EBMC Model Checkers for Verilog
  ☆102Updated this week
• gipsyh / rIC3

  View on GitHub
  Hardware Formal Verification Tool
  ☆87Feb 10, 2026Updated last week
• EDAPack / edapack

  View on GitHub
  Provides a packaged collection of open source EDA tools
  ☆12Apr 14, 2019Updated 6 years ago
• Gy-Hu / HWMCC24-benchmark

  View on GitHub
  Collection for submission (Hardware Model Checking Benchmark)
  ☆13Nov 9, 2025Updated 3 months ago
• upscale-project / generic-sqed-demo

  View on GitHub
  ☆13Feb 6, 2021Updated 5 years ago
• cdonovick / peak

  View on GitHub
  Peak : Processor Specification Language ala Newell and Bell's ISP
  ☆20Dec 5, 2023Updated 2 years ago
• StanfordAHA / garnet

  View on GitHub
  Next generation CGRA generator
  ☆118Updated this week
• ymanerka / rtlcheck

  View on GitHub
  RTLCheck
  ☆25Oct 9, 2018Updated 7 years ago
• CoriolisSP / FuzzBtor2

  View on GitHub
  Random Generator of Btor2 Files
  ☆10Sep 2, 2023Updated 2 years ago
• mit-plv / hemiola

  View on GitHub
  A Coq framework to support structural design and proof of hardware cache-coherence protocols
  ☆14May 7, 2022Updated 3 years ago
• hwmcc / btor2tools

  View on GitHub
  A generic parser and tool package for the BTOR2 format.
  ☆46Sep 18, 2025Updated 4 months ago
• YosysHQ / VlogHammer

  View on GitHub
  A Verilog Synthesis Regression Test
  ☆37Jan 19, 2026Updated 3 weeks ago
• leonardt / hwtypes

  View on GitHub
  Python implementations of fixed size hardware types (Bit, BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics
  ☆18Sep 13, 2023Updated 2 years ago
• Moorvan / RISCV-Formal-Chisel

  View on GitHub
  RISC-V Formal in Chisel
  ☆12Apr 9, 2024Updated last year
• gipsyh / rIC3-HWMCC24

  View on GitHub
  rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission
  ☆11Jul 4, 2025Updated 7 months ago
• StanfordAHA / CGRAFlow

  View on GitHub
  Integration test for entire CGRA flow
  ☆12Jan 17, 2020Updated 6 years ago
• phanrahan / magma

  View on GitHub
  magma circuits
  ☆265Oct 19, 2024Updated last year
• sterin / super-prove-build

  View on GitHub
  ☆14Sep 14, 2020Updated 5 years ago
• fangwenji / tacas23-wasim

  View on GitHub
  ☆13Jan 20, 2023Updated 3 years ago
• masc-ucsc / fluid

  View on GitHub
  Fluid Pipelines
  ☆11May 4, 2018Updated 7 years ago
• daniellustig / pipecheck

  View on GitHub
  ☆19Dec 29, 2014Updated 11 years ago
• masc-ucsc / livehd

  View on GitHub
  Live Hardware Development (LiveHD), a productive infrastructure for Synthesis and Simulation
  ☆232Updated this week
• jix / kissat_extras

  View on GitHub
  A fork of the Kissat SAT solver with additional features. Supports incremental solving.
  ☆17Aug 13, 2022Updated 3 years ago
• jinwookjungs / datc_robust_design_flow

  View on GitHub
  DATC Robust Design Flow.
  ☆36Jan 21, 2020Updated 6 years ago
• aman-goel / ic3po

  View on GitHub
  IC3PO: IC3 for Proving Protocol Properties
  ☆28Sep 10, 2024Updated last year
• YosysHQ / eqy

  View on GitHub
  Equivalence checking with Yosys
  ☆58Feb 4, 2026Updated last week
• leonardt / fault

  View on GitHub
  A Python package for testing hardware (part of the magma ecosystem)
  ☆47Mar 11, 2024Updated last year
• lijwen2748 / simplecar

  View on GitHub
  ☆15Nov 9, 2022Updated 3 years ago
• rzhang2285 / Coppelia

  View on GitHub
  Code repository for Coppelia tool
  ☆23Nov 12, 2020Updated 5 years ago
• tdb-alcorn / chisel-formal

  View on GitHub
  ☆24Feb 11, 2021Updated 5 years ago
• StanfordAHA / Halide-to-Hardware_archive

  View on GitHub
  ☆82Feb 7, 2025Updated last year