berkeley-abc / abcLinks
ABC: System for Sequential Logic Synthesis and Formal Verification
☆996Updated last week
Alternatives and similar repositories for abc
Users that are interested in abc are comparing it to the libraries listed below
Sorting:
- SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows☆455Updated 3 weeks ago
- OpenSTA engine☆471Updated last week
- SystemVerilog compiler and language services☆757Updated this week
- C++ logic network library☆232Updated 2 weeks ago
- Python-based Hardware Design Processing Toolkit for Verilog HDL☆719Updated 11 months ago
- Verilog to Routing -- Open Source CAD Flow for FPGA Research☆1,105Updated this week
- EPFL logic synthesis benchmarks☆195Updated 2 weeks ago
- SystemVerilog to Verilog conversion☆631Updated 3 weeks ago
- Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, formatter and language server☆1,549Updated this week
- RISC-V Formal Verification Framework☆602Updated 3 years ago
- Test suite designed to check compliance with the SystemVerilog standard.☆324Updated this week
- Showcase examples for EPFL logic synthesis libraries☆194Updated last year
- A High-performance Timing Analysis Tool for VLSI Systems☆624Updated 2 years ago
- OpenROAD's scripts implementing an RTL-to-GDS Flow. Documentation at https://openroad-flow-scripts.readthedocs.io/en/latest/☆436Updated this week
- An open-source static random access memory (SRAM) compiler.☆908Updated 2 months ago
- An abstraction library for interfacing EDA tools☆693Updated last month
- Random instruction generator for RISC-V processor verification☆1,130Updated this week
- SystemVerilog 2017 Pre-processor, Parser, Elaborator, UHDM Compiler. Provides IEEE Design/TB C/C++ VPI and Python AST & UHDM APIs. Compil…☆393Updated last week
- cocotb: Python-based chip (RTL) verification☆1,997Updated this week
- Package manager and build abstraction tool for FPGA/ASIC development☆1,296Updated this week
- SystemVerilog parser library fully compliant with IEEE 1800-2017☆439Updated 3 months ago
- Common SystemVerilog components☆626Updated this week
- BaseJump STL: A Standard Template Library for SystemVerilog☆575Updated last week
- Fast Verilog/VHDL parser preprocessor and code generator for C++/Python based on ANTLR4☆297Updated 3 months ago
- GTKWave is a fully featured GTK+ based wave viewer for Unix and Win32 which reads LXT, LXT2, VZT, FST, and GHW files as well as standard …☆785Updated last month
- Ibex is a small 32 bit RISC-V CPU core, previously known as zero-riscy.☆1,560Updated last week
- AXI SystemVerilog synthesizable IP modules and verification infrastructure for high-performance on-chip communication☆1,287Updated last week
- A Linux-capable RISC-V multicore for and by the world☆702Updated last month
- Yosys Open SYnthesis Suite☆3,857Updated this week
- Flexible Intermediate Representation for RTL☆741Updated 9 months ago