logic-synthesis topic

Showcase examples for EPFL logic synthesis libraries

lsils

clin99

A circuit toolkit

msoeken

DRiLLS: Deep Reinforcement Learning for Logic Synthesis Optimization (ASPDAC'20)

scale-lab

IDEA project source files

lnis-uofu

C++ parsing library for simple formats used in logic synthesis and formal verification

hriener

An Approximate Logic Synthesis Framework based on Boolean Matrix Factorization

scale-lab

The Verilog source code for DRUM approximate multiplier.

scale-lab

EDA physical synthesis optimization kit

scale-lab

An open-source design automation framework for Field-coupled Nanotechnologies

cda-tum