Popular repositories Loading

1. rinox rinox Public

   Resynthesis library for post-mapping optimization

   C++ 6 1

2. benchmarks benchmarks Public

   Forked from lsils/benchmarks

   EPFL logic synthesis benchmarks

   Verilog

3. mockturtle mockturtle Public

   Forked from lsils/mockturtle

   C++ logic network library

   C++

4. iwls2020-lsml-contest iwls2020-lsml-contest Public

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

5. kitty kitty Public

   Forked from lsils/kitty

   C++ truth table library

   C++

6. lorina lorina Public

   Forked from hriener/lorina

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

   C++