Popular repositories Loading

1. lorina lorina Public

   Forked from hriener/lorina

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

   C++

2. mockturtle mockturtle Public

   Forked from lsils/mockturtle

   C++ logic network library

   C++

3. yosys yosys Public

   Forked from YosysHQ/yosys

   Yosys Open SYnthesis Suite

   C++

4. abc abc Public

   Forked from berkeley-abc/abc

   ABC: System for Sequential Logic Synthesis and Formal Verification

   C

5. iEDA iEDA Public

   Forked from OSCC-Project/iEDA

   C++