logic-synthesis
There are 74 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
nbulsi/also
A logic synthesis tool
bojackchen/digital-flow
This is a tutorial on standard digital design flow
cda-tum/fiction
An open-source design automation framework for Field-coupled Nanotechnologies
workcraft/workcraft
Toolset to capture, simulate, synthesize and verify graph models
marcelwa/aigverse
A Python library for working with logic networks, synthesis, and optimization.
lsils/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
panhomyoung/phyLS
A Logic Synthesis tool based on "Mockturtle: EPFL Logic Synthesis Library " and "ABC: System for Sequential Logic Synthesis and Formal Verification""
cornell-zhang/HOGA
Hop-Wise Graph Attention for Scalable and Generalizable Learning on Circuits
scale-lab/BLASYS
An Approximate Logic Synthesis Framework based on Boolean Matrix Factorization
scale-lab/DRUM
The Verilog source code for DRUM approximate multiplier.
Chenghao-Yang/awesome-ml4ls
Awesome machine learning for logic synthesis
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
changmg/ResubALS
Efficient resubstitution-based approximate logic synthesis
marcelwa/ls4ai
Hack4Her: Logic Synthesis for AI
nlwmode/Awesome-Logic-Synthesis
A collection of the Logic Synthesis about peoples/papers/projects/tutorials...
Daikon-Sun/FRAIG
Functionally Reduced And-Inverter Graph
LP-RG/subxpat
The SubXPAT approximate logic synthesis framework
porglezomp/minecraft-eda
Electronic design automation for Minecraft
porglezomp/nangate
Yosys passes to syntheize to NaN gates (à la http://tom7.org/nand/)
The-OpenROAD-Project-Attic/abc
Implementing physical synthesis and SDC support into ABC
anthonyabeo/digital_circuits
A collection of digital logic circuits
Koyama-Tsubasa/Advanced_Logic_Synthesis
Coursework of NTHU CS613200 Advanced Logic Synthesis