classabbyamp / espresso-logicLinks
A modern (2017) compilable re-host of the Espresso heuristic logic minimizer.
☆156Updated 5 years ago
Alternatives and similar repositories for espresso-logic
Users that are interested in espresso-logic are comparing it to the libraries listed below
Sorting:
- SystemVerilog frontend for Yosys☆162Updated this week
- Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.☆115Updated 4 months ago
- A Flex/Bison Parser for the IEEE 1364-2001 Verilog Standard.☆133Updated 6 years ago
- RISC-V Formal Verification Framework☆150Updated last week
- C++ logic network library☆251Updated last month
- SystemVerilog synthesis tool☆209Updated 6 months ago
- Showcase examples for EPFL logic synthesis libraries☆197Updated last year
- IDEA project source files☆108Updated last month
- A tool for synthesizing Verilog programs☆101Updated last month
- Live Hardware Development (LiveHD), a productive infrastructure for Synthesis and Simulation☆227Updated this week
- Patmos is a time-predictable VLIW processor, and the processor for the T-CREST project☆146Updated last month
- Mutation Cover with Yosys (MCY)☆87Updated 3 weeks ago
- Hardware generator debugger☆76Updated last year
- ☆103Updated 3 years ago
- A circuit toolkit☆105Updated 5 years ago
- Standard Cell Library based Memory Compiler using FF/Latch cells☆158Updated 2 months ago
- WAL enables programmable waveform analysis.☆156Updated 3 months ago
- SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows☆470Updated 3 weeks ago
- An open source high level synthesis (HLS) tool built on top of LLVM☆124Updated last year
- ACT hardware description language and core tools.☆119Updated last week
- Fabric generator and CAD tools.☆198Updated this week
- ☆105Updated 5 years ago
- A SystemVerilog source file pickler.☆60Updated 11 months ago
- high-performance RTL simulator☆178Updated last year
- Debuggable hardware generator☆70Updated 2 years ago
- Hammer: Highly Agile Masks Made Effortlessly from RTL☆292Updated this week
- A flexible framework for analyzing and transforming FPGA netlists. Official repository.☆99Updated 7 months ago
- CoreIR Symbolic Analyzer☆74Updated 4 years ago
- Equivalence checking with Yosys☆46Updated 3 weeks ago
- Tools for working with circuits as graphs in python☆124Updated last year