Pinned Loading

1. lsils/mockturtle lsils/mockturtle Public

   C++ logic network library

   C++ 314 178

2. abc abc Public

   Forked from berkeley-abc/abc

   ABC: System for Sequential Logic Synthesis and Formal Verification

   C

3. OpenROAD OpenROAD Public

   Forked from The-OpenROAD-Project/OpenROAD

   OpenROAD's unified application implementing an RTL-to-GDS Flow. Documentation at https://openroad.readthedocs.io/en/latest/

   Verilog

4. lsils/benchmarks lsils/benchmarks Public

   EPFL logic synthesis benchmarks

   Verilog 273 50