Functional Reduced And-Inverter Gate

Author: Edward Lee, b05901119@ntu.edu.tw

Outline

• And-Inverter Gate Reader
• Functional-Reduced
  • SWEEP: Unused Gate Removel
  • OPTIMIZATION: Remove Constant Propagation / Constant 0
  • STRASH: Remove indentical AIG
  • SIMULATE: Find out FEC Groups by SIMULATION
  • FRAIG: Perform circuit reduction based on FEC groups segment by SIMULATE
  • WRITE: Outputt the circuit
  • MITER:

Setup

make mac
make clean
make

Data Structure

class CirGate
{

}

class CirMgr
{

}

Algorithm

Hash Function $$ \text{Hash}(a, b) = \frac{\max(a, b) * (\max(a, b) + 1)}{2} + \min(a, b) $$

Algorithm 1: STRASH

void
CirMgr::Strash()
{

}

Algorithm 2: SIMULATION

void
CirMgr::Simulation()
{
}

void
CirMgr::Fraig()
{

}

Support Environment

Linux16 / Linux18 / Mac

Reference

• Ric. NTUEE Data Structure and Programming, Fall 2019
• Hash Function:
• ./Description.pdf
• ./FraigProject.pdf