Explore @lsils Open Source projects

@lsils

lsils

Stars
567
Global Org. Rank 22,137 (Top 8 %)
Registered over 8 years ago
Most used languages

Verilog 25.0 %

Coq 12.5 %

C
12.5 %

Max 12.5 %

Python
12.5 %

C++
12.5 %

CSS
12.5 %

mockturtle

C++ logic network library

lstools-showcase

Showcase examples for EPFL logic synthesis libraries

benchmarks

EPFL logic synthesis benchmarks

bill

C++ header-only reasoning library

SCE-benchmarks

Optimization results for superconducting electronic (SCE) circuits

date2020_experiments

experiments-dac19-flow

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

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