# global parameters

set check # checks intermediate networks

#set checkfio # prints warnings when fanins/fanouts are duplicated

#unset checkread # does not check new networks after reading from file

#set backup # saves backup networks retrived by "undo" and "recall"

#set savesteps 1 # sets the maximum number of backup networks to save

#set progressbar # display the progress bar

# program names for internal calls

set dotwin dot.exe

set dotunix dot

set gsviewwin gsview32.exe

set gsviewunix gv

set siswin sis.exe

set sisunix sis

set mvsiswin mvsis.exe

set mvsisunix mvsis

set capowin MetaPl-Capo10.1-Win32.exe

set capounix MetaPl-Capo10.1

set gnuplotwin wgnuplot.exe

set gnuplotunix gnuplot

# Niklas Een's commands

#load_plugin C:\_projects\abc\lib\bip_win.exe "BIP"

# standard aliases

alias hi history

alias b balance

alias cg clockgate

alias cl cleanup

alias clp collapse

alias cs care_set

alias el eliminate

alias esd ext_seq_dcs

alias f fraig

alias fs fraig_sweep

alias fsto fraig_store

alias fres fraig_restore

alias fr fretime

alias ft fraig_trust

alias ic indcut

alias lp lutpack

alias pcon print_cone

alias pd print_dsd

alias pex print_exdc -d

alias pf print_factor

alias pfan print_fanio

alias pg print_gates

alias pl print_level

alias plat print_latch

alias pio print_io

alias pk print_kmap

alias pm print_miter

alias ps print_stats

alias psb print_stats -b

alias psu print_supp

alias psy print_symm

alias pun print_unate

alias q quit

alias r read

alias ra read_aiger

alias r3 retime -M 3

alias r3f retime -M 3 -f

alias r3b retime -M 3 -b

alias ren renode

alias rh read_hie

alias ri read_init

alias rl read_blif

alias rb read_bench

alias ret retime

alias dret dretime

alias rp read_pla

alias rt read_truth

alias rv read_verilog

alias rvl read_verlib

alias rsup read_super mcnc5_old.super

alias rlib read_library

alias rlibc read_library cadence.genlib

alias rty read_liberty

alias rlut read_lut

alias rw rewrite

alias rwz rewrite -z

alias rf refactor

alias rfz refactor -z

alias re restructure

alias rez restructure -z

alias rs resub

alias rsz resub -z

alias sa set autoexec ps

alias scl scleanup

alias sif if -s

alias so source -x

alias st strash

alias sw sweep

alias ssw ssweep

alias tr0 trace_start

alias tr1 trace_check

alias trt "r c.blif; st; tr0; b; tr1"

alias u undo

alias w write

alias wa write_aiger

alias wb write_bench

alias wc write_cnf

alias wh write_hie

alias wl write_blif

alias wp write_pla

alias wv write_verilog

# standard scripts

alias resyn "b; rw; rwz; b; rwz; b"

alias resyn2 "b; rw; rf; b; rw; rwz; b; rfz; rwz; b"

alias resyn2a "b; rw; b; rw; rwz; b; rwz; b"

alias resyn3 "b; rs; rs -K 6; b; rsz; rsz -K 6; b; rsz -K 5; b"

alias compress "b -l; rw -l; rwz -l; b -l; rwz -l; b -l"

alias compress2 "b -l; rw -l; rf -l; b -l; rw -l; rwz -l; b -l; rfz -l; rwz -l; b -l"

alias choice "fraig_store; resyn; fraig_store; resyn2; fraig_store; fraig_restore"

alias choice2 "fraig_store; balance; fraig_store; resyn; fraig_store; resyn2; fraig_store; resyn2; fraig_store; fraig_restore"

alias rwsat "st; rw -l; b -l; rw -l; rf -l"

alias drwsat2 "st; drw; b -l; drw; drf; ifraig -C 20; drw; b -l; drw; drf"

alias share "st; multi -m; sop; fx; resyn2"

alias addinit "read_init; undc; strash; zero"

alias blif2aig "undc; strash; zero"

alias v2p "&vta_gla; &ps; &gla_derive; &put; w 1.aig; pdr -v"

alias g2p "&ps; &gla_derive; &put; w 2.aig; pdr -v"

alias &sw_ "&put; sweep; st; &get"

alias &fx_ "&put; sweep; sop; fx; st; &get"

alias &dc3 "&b; &jf -K 6; &b; &jf -K 4; &b"

alias &dc4 "&b; &jf -K 7; &fx; &b; &jf -K 5; &fx; &b"

# resubstitution scripts for the IWLS paper

alias src_rw "st; rw -l; rwz -l; rwz -l"

alias src_rs "st; rs -K 6 -N 2 -l; rs -K 9 -N 2 -l; rs -K 12 -N 2 -l"

alias src_rws "st; rw -l; rs -K 6 -N 2 -l; rwz -l; rs -K 9 -N 2 -l; rwz -l; rs -K 12 -N 2 -l"

alias resyn2rs "b; rs -K 6; rw; rs -K 6 -N 2; rf; rs -K 8; b; rs -K 8 -N 2; rw; rs -K 10; rwz; rs -K 10 -N 2; b; rs -K 12; rfz; rs -K 12 -N 2; rwz; b"

alias r2rs "b; rs -K 6; rw; rs -K 6 -N 2; rf; rs -K 8; b; rs -K 8 -N 2; rw; rs -K 10; rwz; rs -K 10 -N 2; b; rs -K 12; rfz; rs -K 12 -N 2; rwz; b"

alias compress2rs "b -l; rs -K 6 -l; rw -l; rs -K 6 -N 2 -l; rf -l; rs -K 8 -l; b -l; rs -K 8 -N 2 -l; rw -l; rs -K 10 -l; rwz -l; rs -K 10 -N 2 -l; b -l; rs -K 12 -l; rfz -l; rs -K 12 -N 2 -l; rwz -l; b -l"

alias c2rs "b -l; rs -K 6 -l; rw -l; rs -K 6 -N 2 -l; rf -l; rs -K 8 -l; b -l; rs -K 8 -N 2 -l; rw -l; rs -K 10 -l; rwz -l; rs -K 10 -N 2 -l; b -l; rs -K 12 -l; rfz -l; rs -K 12 -N 2 -l; rwz -l; b -l"

# use this script to convert 1-valued and DC-valued flops for an AIG

alias fix_aig "logic; undc; strash; zero"

# use this script to convert 1-valued and DC-valued flops for a logic network coming from BLIF

alias fix_blif "undc; strash; zero"

# lazy man's synthesis

alias recadd3 "st; rec_add3; b; rec_add3; dc2; rec_add3; if -K 8; bidec; st; rec_add3; dc2; rec_add3; if -g -K 6; st; rec_add3"