Popular repositories Loading

1. LogicFactory LogicFactory Public

   Logic Synthesis Platform

   C++ 3

2. lorina lorina Public

   Forked from hriener/lorina

   C++ parsing library for simple formats used in logic synthesis and formal verification

   C++

3. mockturtle mockturtle Public

   Forked from lsils/mockturtle

   C++ logic network library

   C++

4. yosys yosys Public

   Forked from YosysHQ/yosys

   Yosys Open SYnthesis Suite

   C++

5. abc abc Public

   Forked from berkeley-abc/abc

   ABC: System for Sequential Logic Synthesis and Formal Verification

   C

6. iEDA iEDA Public

   Forked from OSCC-Project/iEDA

   C++