classabbyamp / espresso-logicLinks
A modern (2017) compilable re-host of the Espresso heuristic logic minimizer.
☆154Updated 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:
- RISC-V Formal Verification Framework☆147Updated this week
- Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.☆111Updated 3 months ago
- SystemVerilog synthesis tool☆209Updated 5 months ago
- C++ logic network library☆247Updated 3 weeks ago
- SystemVerilog frontend for Yosys☆153Updated last week
- A tool for synthesizing Verilog programs☆99Updated last week
- Showcase examples for EPFL logic synthesis libraries☆195Updated last year
- Live Hardware Development (LiveHD), a productive infrastructure for Synthesis and Simulation☆227Updated last week
- ACT hardware description language and core tools.☆119Updated last week
- Patmos is a time-predictable VLIW processor, and the processor for the T-CREST project☆145Updated 2 weeks ago
- A Flex/Bison Parser for the IEEE 1364-2001 Verilog Standard.☆133Updated 6 years ago
- A Modeling and Verification Platform for SoCs using ILAs☆77Updated last year
- Hardware generator debugger☆75Updated last year
- SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows☆466Updated 3 weeks ago
- IDEA project source files☆108Updated 2 weeks ago
- Universal Hardware Data Model. A complete modeling of the IEEE SystemVerilog Object Model with VPI Interface, Elaborator, Serialization, …☆229Updated this week
- magma circuits☆261Updated 10 months ago
- AIGER And-Inverter-Graph Library☆86Updated 3 weeks ago
- Mutation Cover with Yosys (MCY)☆86Updated 3 weeks ago
- Tools for working with circuits as graphs in python☆122Updated last year
- ☆103Updated 3 years ago
- Equivalence checking with Yosys☆45Updated 3 weeks ago
- An open source high level synthesis (HLS) tool built on top of LLVM☆125Updated last year
- Open-source RTL logic simulator with CUDA acceleration☆216Updated this week
- A flexible framework for analyzing and transforming FPGA netlists. Official repository.☆99Updated 6 months ago
- high-performance RTL simulator☆174Updated last year
- Test suite designed to check compliance with the SystemVerilog standard.☆338Updated this week
- WAL enables programmable waveform analysis.☆155Updated 2 months ago
- Debuggable hardware generator☆69Updated 2 years ago
- Hammer: Highly Agile Masks Made Effortlessly from RTL☆290Updated 3 months ago