Popular repositories Loading

1. three-input-gates-TCAD2020 three-input-gates-TCAD2020 Public

   Experimental results presented in Three-Input Gates for Logic Synthesis, TCAD 2020.

   Verilog 1

2. bill bill Public

   Forked from lsils/bill

   C++ header-only reasoning library

   C++

3. mockturtle mockturtle Public

   Forked from lsils/mockturtle

   C++ logic network library

   C++

4. percy percy Public

   Forked from lsils/percy

   C++ header-only exact synthesis library

   C++

5. AQFP-Database AQFP-Database Public

6. 4-input-npn-exact 4-input-npn-exact Public

   Verilog