Topic: "logic-minimization"
tulip-control/omega
Specify and synthesize systems using symbolic algorithms
Language: Python - Size: 899 KB - Last synced at: 6 days ago - Pushed at: 6 months ago - Stars: 46 - Forks: 5

dreylago/logicmin
Logic Minimization in Python
Language: Python - Size: 226 KB - Last synced at: 12 months ago - Pushed at: about 1 year ago - Stars: 23 - Forks: 7

boschmitt/exorcism
Fast Heuristic Minimization of Exclusive-Sums-of-Products
Language: C++ - Size: 29.3 KB - Last synced at: 9 days ago - Pushed at: about 7 years ago - Stars: 6 - Forks: 0

ozgurhepsag/Logic-Expression-Simplifier
Purpose of this project is to simplify sum-of-product logic expressions.
Language: Java - Size: 447 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 5 - Forks: 0

RipperJ/VerilogExpr2NAND-NOR
Logic Expression Compiler, with Logic Minimization, to NAND/NOR Implementation
Language: Python - Size: 42 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 0

boschmitt/losys
Logic synthesis and verification framework
Language: C++ - Size: 285 KB - Last synced at: about 1 month ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0

project-rig/rig_routing_tables
Faster/SpiNNaker implementations of routing table minimization algorithms
Language: C - Size: 92.8 KB - Last synced at: about 1 month ago - Pushed at: over 8 years ago - Stars: 2 - Forks: 2

hesham-medhat/Opti-Circuit
This software is designed to help Computer/Electric Hardware Engineers design an efficient digital logic circuit with best optimisation for lowest cost and power consumption to implement any function.
Language: Java - Size: 2.54 MB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 1

CJLlorente99/nn-accelerator-logic
This repository contains the python code related to the Master's Thesis. In particular, this code is in charge of setting up the NN and training them, calculating the importance and developing the design procedures for reducing the final logic implementation complexity.
Language: Python - Size: 22.9 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

hselasky/hpspresso
HPSpresso - a heuristic logic minimizer
Language: C - Size: 29.3 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

Yashraj-Aware/ADE-Assignments
These are the assignments of Second year Analog Digital Electronicd subject
Size: 5.49 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
