147 lines
4.6 KiB
Plaintext
147 lines
4.6 KiB
Plaintext
# 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 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"
|
|
|
|
# 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"
|
|
|
|
|