CL-liao's repositories
benchmarks
EPFL logic synthesis benchmarks
cirkit
A circuit toolkit
DRiLLS
DRiLLS: Deep Reinforcement Learning for Logic Synthesis Optimization (ASPDAC'20)
egg-nog
Experimenting with egg. Ref "egg: Fast and Extensible Equality Saturation"
Galois
Galois: C++ library for multi-core and multi-node parallelization
Gamora
Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks (DAC'23)
HYPE
Implementation of the HYPE hypergraph partitioner.
kahypar
KaHyPar (Karlsruhe Hypergraph Partitioning) is a multilevel hypergraph partitioning framework providing direct k-way and recursive bisection based partitioning algorithms that compute solutions of very high quality.
LSOracle
IDEA project source files
lstools-showcase
Showcase examples for EPFL logic synthesis libraries
PySR
High-Performance Symbolic Regression in Python and Julia
TIGFET-10nm-SCLIB
An open source standard cell library using TIGFET 10nm devices.
OpenROAD-flow-scripts
OpenROAD's scripts implementing an RTL-to-GDS Flow. Documentation at https://openroad-flow-scripts.readthedocs.io/en/latest/
Zoltan
Zoltan Dynamic Load Balancing and Graph Algorithm Toolkit -- Distribution site