berkeley-abc / abcLinks
ABC: System for Sequential Logic Synthesis and Formal Verification
☆1,007Updated last week
Alternatives and similar repositories for abc
Users that are interested in abc are comparing it to the libraries listed below
Sorting:
- OpenSTA engine☆479Updated this week
- SystemVerilog compiler and language services☆778Updated this week
- EPFL logic synthesis benchmarks☆201Updated last month
- SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows☆458Updated this week
- Verilog to Routing -- Open Source CAD Flow for FPGA Research☆1,112Updated this week
- C++ logic network library☆233Updated last month
- OpenROAD's scripts implementing an RTL-to-GDS Flow. Documentation at https://openroad-flow-scripts.readthedocs.io/en/latest/☆447Updated this week
- RISC-V Formal Verification Framework☆602Updated 3 years ago
- Showcase examples for EPFL logic synthesis libraries☆194Updated last year
- A High-performance Timing Analysis Tool for VLSI Systems☆632Updated 2 years ago
- Python-based Hardware Design Processing Toolkit for Verilog HDL☆721Updated last year
- SystemVerilog to Verilog conversion☆639Updated this week
- Test suite designed to check compliance with the SystemVerilog standard.☆328Updated this week
- Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, formatter and language server☆1,570Updated 2 weeks ago
- SystemVerilog 2017 Pre-processor, Parser, Elaborator, UHDM Compiler. Provides IEEE Design/TB C/C++ VPI and Python AST & UHDM APIs. Compil…☆395Updated last week
- SystemVerilog parser library fully compliant with IEEE 1800-2017☆444Updated 3 months ago
- Magic VLSI Layout Tool☆543Updated last week
- An abstraction library for interfacing EDA tools☆696Updated last week
- Yosys Open SYnthesis Suite☆3,888Updated this week
- Common SystemVerilog components☆629Updated last week
- Deep learning toolkit-enabled VLSI placement☆827Updated 2 months ago
- lowRISC Style Guides☆438Updated 2 weeks ago
- Fast Verilog/VHDL parser preprocessor and code generator for C++/Python based on ANTLR4☆298Updated this week
- Digital Design with Chisel☆843Updated last month
- Parametric floating-point unit with support for standard RISC-V formats and operations as well as transprecision formats.☆505Updated 4 months ago
- A Linux-capable RISC-V multicore for and by the world☆709Updated last month
- Random instruction generator for RISC-V processor verification☆1,135Updated 3 weeks ago
- Simple RISC-V 3-stage Pipeline in Chisel☆581Updated 10 months ago
- An Open-source FPGA IP Generator☆924Updated this week
- BaseJump STL: A Standard Template Library for SystemVerilog☆582Updated 2 weeks ago