Logic synthesis and verification framework
-
Updated
Nov 13, 2017 - C++
#
logic-minimization
Here are 3 public repositories matching this topic...
Fast Heuristic Minimization of Exclusive-Sums-of-Products
-
Updated
Feb 16, 2018 - C++
A command line application that makes a more human-friendly version of an Espresso logic minimization output file and allows for combinational logic simulation.
-
Updated
Feb 17, 2019 - C++
Improve this page
Add a description, image, and links to the logic-minimization topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the logic-minimization topic, visit your repo's landing page and select "manage topics."