Showcase examples for EPFL logic synthesis libraries
DRiLLS: Deep Reinforcement Learning for Logic Synthesis Optimization (AS...
A circuit toolkit
OpenABC-D is a large-scale labeled dataset generated by synthesizing ope...
IDEA project source files
A logic synthesis tool
Toolset to capture, simulate, synthesize and verify graph models
DATC RDF
C++ truth table library