genieacs / espresso-iisojsLinks
Implementation of Espresso-II method for heuristic minimization of single output boolean functions
☆30Updated last year
Alternatives and similar repositories for espresso-iisojs
Users that are interested in espresso-iisojs are comparing it to the libraries listed below
Sorting:
- Espresso heuristic logic minimizer made C++20 Windows 10 compatible - University of California, Berkeley☆57Updated last year
- Multi-core Decision Diagram (BDD/LDD) implementation☆43Updated last year
- The HW-CBMC and EBMC Model Checkers for Verilog☆88Updated this week
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Updated 6 months ago
- ☆14Updated 7 years ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆14Updated 3 years ago
- A standard for floating point accuracy benchmarks☆54Updated 7 months ago
- ☆13Updated 4 years ago
- BTOR2 MLIR project☆26Updated last year
- C++ truth table library☆61Updated 2 months ago
- AIGER And-Inverter-Graph Library☆88Updated 2 months ago
- Implementation of multi-core (binary) decision diagrams☆78Updated last month
- A circuit toolkit☆105Updated 5 years ago
- A hardware model checker for hyperproperties☆18Updated last year
- Random Generator of Btor2 Files☆10Updated 2 years ago
- A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one☆79Updated last week
- CUDD Decision Diagram Package☆143Updated last week
- Pono: A flexible and extensible SMT-based model checker☆111Updated this week
- Verilog AST☆21Updated last year
- Automatically generate a compiler using equality saturation☆32Updated last year
- FPGA synthesis tool powered by program synthesis☆51Updated last week
- Qute: a dependency learning QBF solver.☆14Updated 9 months ago
- CoreIR Symbolic Analyzer☆74Updated 4 years ago
- A modern (2017) compilable re-host of the Espresso heuristic logic minimizer.☆162Updated 5 years ago
- The glucose SAT solver☆124Updated 4 months ago
- Testing processors with Random Instruction Generation☆47Updated last week
- A fast and certifying solver for quantified Boolean formulas.☆26Updated 5 months ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆30Updated last year
- An advanced header-only exact synthesis library☆28Updated 2 years ago