Gigantua / Espresso
Espresso heuristic logic minimizer made C++20 Windows 10 compatible - University of California, Berkeley
☆46Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for Espresso
- A modern (2017) compilable re-host of the Espresso heuristic logic minimizer.☆132Updated 4 years ago
- The HW-CBMC and EBMC Model Checkers for Verilog☆61Updated this week
- Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…☆211Updated this week
- A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.☆335Updated 2 months ago
- C++ truth table library☆51Updated 7 months ago
- Reads a state transition system and performs property checking☆76Updated 2 weeks ago
- Implementation of Espresso-II method for heuristic minimization of single output boolean functions☆27Updated 8 months ago
- AIGER And-Inverter-Graph Library☆61Updated 5 months ago
- A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.☆114Updated 2 weeks ago
- Pono: A flexible and extensible SMT-based model checker☆82Updated 3 weeks ago
- ☆33Updated 4 months ago
- CoreIR Symbolic Analyzer☆61Updated 4 years ago
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆67Updated 3 weeks ago
- Integer Multiplier Generator for Verilog☆17Updated last year
- The glucose SAT solver☆80Updated 2 weeks ago
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆86Updated 2 months ago
- CocoAlma is an execution-aware tool for formal verification of masked implementations☆21Updated last month
- Artifacts for Cascade: CPU Fuzzing via Intricate Program Generation (USENIX Security 2024)☆111Updated 2 months ago
- CHERI-RISC-V model written in Sail☆55Updated last week
- The Yices SMT Solver☆374Updated this week
- SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows☆407Updated 2 weeks ago
- Lingeling SAT Solver☆99Updated 8 months ago
- Logic Minimization in Python☆23Updated 7 months ago
- ☆47Updated 7 months ago
- Showcase examples for EPFL logic synthesis libraries☆184Updated 7 months ago
- The opensmt solver☆78Updated this week
- A circuit toolkit☆96Updated 4 years ago
- A concolic testing engine for RISC-V embedded software with support for SystemC peripherals☆20Updated last year
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆38Updated 2 years ago
- IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.☆55Updated 9 years ago