lsils's repositories
mockturtle
C++ logic network library
lstools-showcase
Showcase examples for EPFL logic synthesis libraries
benchmarks
EPFL logic synthesis benchmarks
SCE-benchmarks
Optimization results for superconducting electronic (SCE) circuits
experiments-dac19-flow
Experiments for DAC'19 "Scalable Generic Logic Synthesis: One Approach to Rule Them All"
abc-staticlib
Changes needed to compile ABC as a static library and interface with mockturtle
resyn-benchmarks
A collection of benchmarks for the generalized resynthesis problem
sim-LSV_exp
Benchmarks and pattern files used in the simulation-guided Boolean resubstitution paper
benchmarks-date2019-permutations
Experiments for "Compiling Permutations for Superconducting QPUs"
benchmarks-mig
Best MIG-mapped results of EPFL benchmarks
mockturtle-bench
Micro benchmarking for mockturtle