Specify and synthesize systems using symbolic algorithms

Logic Minimization in Python

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

Fast Heuristic Minimization of Exclusive-Sums-of-Products

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

Faster/SpiNNaker implementations of routing table minimization algorithms

Logic synthesis and verification framework

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.

HPSpresso - a heuristic logic minimizer

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.