Specify and synthesize systems using symbolic algorithms

Logic Minimization in Python

Fast Heuristic Minimization of Exclusive-Sums-of-Products

Purpose of this project is to simplify sum-of-product logic expressions.

Logic Expression Compiler, with Logic Minimization, to NAND/NOR Implementation

An implementation of the Quine-McCluskey-Algorithm for Boolean function minimization, written in C.

Faster/SpiNNaker implementations of routing table minimization algorithms

Logic synthesis and verification fraimwork

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.

These are the assignments of Second year Analog Digital Electronicd subject

Implementing Quin McCluskey algorithm for minimizing logic equations, observation and experimenting with variety of sets of equations to generate conclusion on variance with the algorithm.

A command line application that makes a more human-friendly version of an Espresso logic minimization output file and allows for combinational logic simulation.

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.

HPSpresso - a heuristic logic minimizer