Popular repositories Loading

1. benchmarks benchmarks Public

   Forked from lsils/benchmarks

   EPFL logic synthesis benchmarks

   Verilog

2. mockturtle mockturtle Public

   Forked from lsils/mockturtle

   C++ logic network library

   C++

3. iwls2020-lsml-contest iwls2020-lsml-contest Public

   Forked from iwls2020-lsml-contest/iwls2020-lsml-contest

4. kitty kitty Public

   Forked from lsils/kitty

   C++ truth table library

   C++

5. lorina lorina Public

   Forked from hriener/lorina

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

   C++

6. resyn-benchmarks resyn-benchmarks Public

   Forked from lsils/resyn-benchmarks

   A collection of benchmarks for the generalized resynthesis problem