This repository contains the implementation of a Graph Neural Network (GNN) model for processing And-Inverter Graphs (AIGs) together with logic synthesis recipes to predict key circuit metrics such as delay and area
Search for linearizing sets to solve inversion problem
Heuristics based approach for Logic Synthesis with the goal to reduce the delay in the circuit and the execution time.
Add a description, image, and links to the and-inverter-graph topic page so that developers can more easily learn about it.
To associate your repository with the and-inverter-graph topic, visit your repo's landing page and select "manage topics."
