This repository contains the source code and results for implementing generalizable logic synthesis through Deep Learning.
Experiments_all_variants.ipynb contains experiments 1a, 1b, 2a, 2b, 3, 4.
Setup_exp1_exp2.ipnyb contains the visualization and implementation for a single truth table followed by experiment 1 and experiment 2.
scratch.ipynb contains te mechanism for converting a NN to AIG and get the number of AND nodes in AIG
The results are given in results_.txt