logic-synthesis

Showcase examples for EPFL logic synthesis libraries

OpenABC-D is a large-scale labeled dataset generated by synthesizing open source hardware IPs. This dataset can be used for various graph level prediction problems in chip design.

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

IDEA project source files

A circuit toolkit

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

A logic synthesis tool

A Python library for working with logic networks, synthesis, and optimization.

This is a tutorial on standard digital design flow

Toolset to capture, simulate, synthesize and verify graph models

EDA physical synthesis optimization kit

C++ truth table library

Logic synthesis and ABC based optimization

DATC RDF

A Logic Synthesis tool based on "Mockturtle: EPFL Logic Synthesis Library " and "ABC: System for Sequential Logic Synthesis and Formal Verification""

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

Hop-Wise Graph Attention for Scalable and Generalizable Learning on Circuits

An Approximate Logic Synthesis Framework based on Boolean Matrix Factorization

The Verilog source code for DRUM approximate multiplier.