lsils

Popular repositories

1. lstools-showcase

   Showcase examples for EPFL logic synthesis libraries

   CSS 83 20

2. mockturtle

   C++ logic network library

   C++ 66 41

3. benchmarks

   EPFL logic synthesis benchmarks

   Verilog 44 12

4. bill

   C++ header-only reasoning library

   C 8 4

5. percy

   Forked from whaaswijk/percy

   C++ header-only exact synthesis library

   C++ 7 2

6. experiments-dac19-flow

   Experiments for DAC'19 "Scalable Generic Logic Synthesis: One Approach to Rule Them All"

   Python 2