lsils/resyn-benchmarks lsils/resyn-benchmarks

  • Stars
    star
    1
  • Language
  • License
    MIT License
  • Created over 2 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lsils/resyn-benchmarks
github

lsils

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A collection of benchmarks for the generalized resynthesis problem

More Repositories

1

mockturtle

C++ logic network library
C++
193
star
2

lstools-showcase

Showcase examples for EPFL logic synthesis libraries
CSS
178
star
3

benchmarks

EPFL logic synthesis benchmarks
Verilog
154
star
4

bill

C++ header-only reasoning library
C
11
star
5

SCE-benchmarks

Optimization results for superconducting electronic (SCE) circuits
Verilog
9
star
6

date2020_experiments

Coq
5
star
7

experiments-dac19-flow

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

sim-LSV_exp

Benchmarks and pattern files used in the simulation-guided Boolean resubstitution paper
Max
1
star