logic-synthesis
Here are 20 public repositories matching this topic...
An open-source design automation framework for Field-coupled Nanotechnologies
-
Updated
Oct 14, 2024 - C++
Logic synthesis and ABC based optimization
-
Updated
Oct 9, 2024 - C++
C++ parsing library for simple formats used in logic synthesis and formal verification
-
Updated
Jun 28, 2024 - C++
A Logic Synthesis tool based on "Mockturtle: EPFL Logic Synthesis Library " and "ABC: System for Sequential Logic Synthesis and Formal Verification""
-
Updated
Sep 24, 2024 - C++
VECBEE: A Versatile Efficiency-Accuracy Configurable Batch Error Estimation Method for Greedy Approximate Logic Synthesis
-
Updated
Mar 8, 2022 - C++
C++ header-only ESOP library
-
Updated
May 18, 2024 - C++
Yosys passes to syntheize to NaN gates (à la http://tom7.org/nand/)
-
Updated
Apr 26, 2019 - C++
Automated conversion from CHP to PRS using syntax-directed translation
-
Updated
Apr 5, 2024 - C++
Fast Heuristic Minimization of Exclusive-Sums-of-Products
-
Updated
Feb 16, 2018 - C++
Coursework of NTHU CS613200 Advanced Logic Synthesis
-
Updated
Jun 22, 2023 - C++
Efficient resubstitution-based approximate logic synthesis
-
Updated
Apr 18, 2024 - C++
A circuit folding interface in ABC system
-
Updated
Aug 8, 2023 - C++
C++ header-only And-Inverter graph (AIG) library
-
Updated
Mar 26, 2018 - C++
Logic synthesis and verification framework
-
Updated
Nov 13, 2017 - C++
A boolean matcher that computes the NPN canonical representative for a given boolean function.
-
Updated
Mar 24, 2024 - C++
This project will be the beginning of my research life!
-
Updated
Aug 26, 2024 - C++
Improve this page
Add a description, image, and links to the logic-synthesis topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the logic-synthesis topic, visit your repo's landing page and select "manage topics."