Gigantua / EspressoLinks
Espresso heuristic logic minimizer made C++20 Windows 10 compatible - University of California, Berkeley
☆53Updated last year
Alternatives and similar repositories for Espresso
Users that are interested in Espresso are comparing it to the libraries listed below
Sorting:
- C++ truth table library☆59Updated 2 months ago
- A modern (2017) compilable re-host of the Espresso heuristic logic minimizer.☆153Updated 5 years ago
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆119Updated 2 weeks ago
- AIGER And-Inverter-Graph Library☆84Updated last month
- E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis (DAC2025)☆17Updated 3 weeks ago
- The HW-CBMC and EBMC Model Checkers for Verilog☆79Updated last week
- Implementation of Espresso-II method for heuristic minimization of single output boolean functions☆29Updated last year
- Hardware Formal Verification Tool☆58Updated last week
- CoreIR Symbolic Analyzer☆73Updated 4 years ago
- Reads a state transition system and performs property checking☆84Updated 4 months ago
- Niklas Een's ABC/ZZ framework☆23Updated 3 years ago
- A framework to ease parallelization of sequential SAT solvers☆19Updated 2 months ago
- ☆48Updated last year
- A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.☆126Updated last week
- Integer Multiplier Generator for Verilog☆23Updated 2 weeks ago
- A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.☆351Updated 10 months ago
- A circuit toolkit☆103Updated 5 years ago
- Pono: A flexible and extensible SMT-based model checker☆105Updated this week
- A generic parser and tool package for the BTOR2 format.☆41Updated 2 months ago
- Lingeling SAT Solver☆102Updated last year
- Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…☆263Updated this week
- Approximate Model Counter☆78Updated 3 weeks ago
- PyCaliper is Python-based tooling infrastructure that allows the verification and synthesis of specifications (properties) for RTL (e.g.,…☆22Updated last month
- Structured BVA☆37Updated last year
- ☆34Updated 3 weeks ago
- ☆13Updated 7 years ago
- FPGA synthesis tool powered by equality saturation and program synthesis.☆12Updated last week
- CUDD: CU Decision Diagram package - unofficial git mirror of https://web.archive.org/web/20180127051756/http://vlsi.colorado.edu/~fabio/C…☆131Updated 2 years ago
- work in progress, playing around with btor2 in rust☆11Updated 3 weeks ago
- The glucose SAT solver☆116Updated last month