/fraig

Primary LanguageC++MIT LicenseMIT

Fraig

Introduction

This project implement circuit optimization - FRAIG (Functionally Reduced And-Inverter Graph), from a circuit description file. For detail descirption, please see FraigProject.pdf.

Getting Started

  • System Requirement
    • Ubuntu16/18 
       make linux16/18
    • Mac 
       make mac
  • Compile 
    make all
    after finish make, a binary file fraig in under bin/ folder, you can use test file under tests.fraig.

Result

Please see report.pdf