logic-synthesis
There are 66 repositories under logic-synthesis topic.
lsils/lstools-showcase
Showcase examples for EPFL logic synthesis libraries
NYU-MLDA/OpenABC
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.
scale-lab/DRiLLS
DRiLLS: Deep Reinforcement Learning for Logic Synthesis Optimization (ASPDAC'20)
lnis-uofu/LSOracle
IDEA project source files
msoeken/cirkit
A circuit toolkit
bojackchen/digital-flow
This is a tutorial on standard digital design flow
nbulsi/also
A logic synthesis tool
cda-tum/fiction
An open-source design automation framework for Field-coupled Nanotechnologies
workcraft/workcraft
Toolset to capture, simulate, synthesize and verify graph models
msoeken/kitty
C++ truth table library
scale-lab/OpenPhySyn
EDA physical synthesis optimization kit
ieee-ceda-datc/RDF-2019
DATC RDF
The-OpenROAD-Project/yosys
Logic synthesis and ABC based optimization
hriener/lorina
C++ parsing library for simple formats used in logic synthesis and formal verification
scale-lab/BLASYS
An Approximate Logic Synthesis Framework based on Boolean Matrix Factorization
scale-lab/DRUM
The Verilog source code for DRUM approximate multiplier.
cornell-zhang/HOGA
Hop-Wise Graph Attention for Scalable and Generalizable Learning on Circuits
Chenghao-Yang/awesome-ml4ls
Awesome machine learning for logic synthesis
panhomyoung/phyLS
A Logic Synthesis tool based on "Mockturtle: EPFL Logic Synthesis Library " and "ABC: System for Sequential Logic Synthesis and Formal Verification""
scale-lab/BACS
Benchmarks for Approximate Circuit Synthesis
scale-lab/ABACUS
ABACUS is a tool for approximate logic synthesis
SJTU-ECTL/VECBEE
VECBEE: A Versatile Efficiency-Accuracy Configurable Batch Error Estimation Method for Greedy Approximate Logic Synthesis
shobro/ACLA
Software and Hardware models of Approximate Carry-Lookahead Adder with Intelligent Carry Judgement and Correction
hriener/easy
C++ header-only ESOP library
nlwmode/Awesome-Logic-Synthesis
A collection of the Logic Synthesis about peoples/papers/projects/tutorials...
porglezomp/minecraft-eda
Electronic design automation for Minecraft
Daikon-Sun/FRAIG
Functionally Reduced And-Inverter Graph
The-OpenROAD-Project-Attic/abc
Implementing physical synthesis and SDC support into ABC
anthonyabeo/digital_circuits
A collection of digital logic circuits
asyncvlsi/chp2prs
Automated conversion from CHP to PRS using syntax-directed translation
Koyama-Tsubasa/Advanced_Logic_Synthesis
Coursework of NTHU CS613200 Advanced Logic Synthesis
porglezomp/nangate
Yosys passes to syntheize to NaN gates (à la http://tom7.org/nand/)
LP-RG/subxpat
The SubXPAT approximate logic synthesis framework
SJTU-ECTL/MECALS
An approximate logic synthesis tool under the maximum error constraint
NYU-MLDA/ABC-RL
This is work-in-progress (WIP) refactored implementation of "Retreival-guided Reinforcement Learning for Boolean Circuit Minimization" work published in ICLR 2024.