An open API service providing repository metadata for many open source software ecosystems.

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