Alternatives and similar repositories for simplecar

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

• CoriolisSP / FuzzBtor2

  View on GitHub
  Random Generator of Btor2 Files
  ☆10Sep 2, 2023Updated 2 years ago
• iscas-tis / CHA

  View on GitHub
  ☆19Jul 12, 2024Updated last year
• sterin / super-prove-build

  View on GitHub
  ☆14Sep 14, 2020Updated 5 years ago
• mgudemann / iimc

  View on GitHub
  ☆14Jan 3, 2018Updated 8 years ago
• Moorvan / ChiselFV

  View on GitHub
  A Formal Verification Framework for Chisel
  ☆18Apr 9, 2024Updated last year
• saleh1204 / sis

  View on GitHub
  Logic Synthesis System from UC Berkeley (Unofficial Distribution)
  ☆15Jun 4, 2019Updated 6 years ago
• hwmcc / btor2tools

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

  View on GitHub
  ANSI-C benchmarks generated from Verilog RTL circuits with safety assertions. Used for Formal Property Verification.
  ☆17Dec 1, 2018Updated 7 years ago
• arbrad / IC3ref

  View on GitHub
  IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.
  ☆63May 31, 2015Updated 10 years ago
• ekiwi / open-source-formal-verification-for-chisel

  View on GitHub
  ☆10Oct 15, 2021Updated 4 years ago
• ycunxi / ACEC_benchmarks

  View on GitHub
  Arithmetic multiplier benchmarks
  ☆12Nov 13, 2017Updated 8 years ago
• Moorvan / RISCV-Formal-Chisel

  View on GitHub
  RISC-V Formal in Chisel
  ☆12Apr 9, 2024Updated last year
• jar-ben / mustool

  View on GitHub
  ☆14Jun 18, 2023Updated 2 years ago
• upscale-project / generic-sqed-demo

  View on GitHub
  ☆13Feb 6, 2021Updated 5 years ago
• tdb-alcorn / chisel-formal

  View on GitHub
  ☆24Feb 11, 2021Updated 5 years ago
• JKomp / AIGER

  View on GitHub
  Python version of tools to work with AIG formatted files
  ☆12May 20, 2025Updated 8 months ago
• 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
• cure-lab / DeepGate2

  View on GitHub
  ☆16May 24, 2023Updated 2 years ago
• aman-goel / avr

  View on GitHub
  Reads a state transition system and performs property checking
  ☆90Sep 12, 2025Updated 5 months ago
• amamory-verification / hw-formal-verif

  View on GitHub
  Hardware Formal Verification
  ☆17Aug 10, 2020Updated 5 years ago
• pddenhar / Z3-IC3-PDR

  View on GitHub
  Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.
  ☆18Apr 30, 2016Updated 9 years ago
• jetafese / btor2mlir

  View on GitHub
  Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification
  ☆20Sep 4, 2025Updated 5 months ago
• gpt4rtl / AutoSVA2

  View on GitHub
  ☆17Nov 19, 2023Updated 2 years ago
• stanford-centaur / pono

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

  View on GitHub
  ☆19Dec 21, 2020Updated 5 years ago
• OSCC-Project / iMap

  View on GitHub
  Logic optimization and technology mapping tool.
  ☆20Oct 12, 2023Updated 2 years ago
• chengyinwu / V3

  View on GitHub
  An Extensible Framework for Hardware Verification and Debugging
  ☆18Sep 14, 2022Updated 3 years ago
• daniellustig / pipecheck

  View on GitHub
  ☆19Dec 29, 2014Updated 11 years ago
• diffblue / hw-cbmc

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

  View on GitHub
  LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
  ☆22Mar 13, 2023Updated 2 years ago
• berkeley-abc / mvsis

  View on GitHub
  A copy of the latest version of MVSIS
  ☆12Apr 18, 2021Updated 4 years ago
• MachSMT / MachSMT

  View on GitHub
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆25Apr 21, 2023Updated 2 years ago
• agurfinkel / btor2mlir

  View on GitHub
  BTOR2 MLIR project
  ☆26Jan 17, 2024Updated 2 years ago
• temelmertcan / multgen

  View on GitHub
  Integer Multiplier Generator for Verilog
  ☆23Jul 4, 2025Updated 7 months ago
• tip-org / benchmarks

  View on GitHub
  Tons of Inductive Problems: The Benchmarks
  ☆27Jul 5, 2023Updated 2 years ago
• aman-goel / ic3po

  View on GitHub
  IC3PO: IC3 for Proving Protocol Properties
  ☆28Sep 10, 2024Updated last year
• chc-comp / chc-tools

  View on GitHub
  Tools for manipulating CHC and related files
  ☆15Apr 21, 2023Updated 2 years ago
• eytans / easter-egg

  View on GitHub
  easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once
  ☆13Mar 27, 2025Updated 10 months ago
• yaohsiaopid / rtl2uspec

  View on GitHub
  ☆11Jul 1, 2025Updated 7 months ago