/Fraig

Functionally Reduced And-Inverter Graph (FRAIG)

Primary LanguageC++

FRAIG-TESTDATA USAGE

Install

  • Mac
   brew install node
   brew install colordiff
  • Linux
   sudo apt-get install nodejs
   sudo apt-get install colordiff

USAGE

  1. Put run.sh,clean.sh,mydofile,myoutput in the fraig/ folder

  2. Start testing using different command

      ./run.sh <basic|sweep|opt|strash|sim|fraig>
    • basic
      • test basic function in hw6 like cirp cirg cirw...
    • sweep,opt,strash,sim,fraig
      • test final project function

  3. Dofiles will be generated by mydofile/dofile.js and exported to mydofile/

  4. Output files will be exported to myoutput/

  5. After the exection, you can check your output in myoutput.For each aagFile you can check xxx.out.For diff summary, you can view check Summary.diff

  6. Run clean.sh to clean *.out, *.do

       ./clean.sh

Customization

  1. Modify dofile.js to customize your own command.