Version abc80130_2

1 files changed, 74 insertions, 15 deletions

diff --git a/abc.rc b/abc.rc
index 6028a522..ce5b1240 100644
--- a/abc.rc
+++ b/abc.rc
@@ -1,9 +1,10 @@
 # global parameters
-#set check         # checks intermediate networks
+set check         # checks intermediate networks
 #set checkfio      # prints warnings when fanins/fanouts are duplicated
 set checkread     # checks 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 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
@@ -14,6 +15,10 @@ 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
 
 # standard aliases
 alias b balance
@@ -22,48 +27,102 @@ alias clp collapse
 alias esd ext_seq_dcs
 alias f fraig
 alias fs fraig_sweep
+alias fsto fraig_store
+alias fres fraig_restore
 alias ft fraig_trust
-alias mu renode -m
+alias lp lutpack
+alias pd print_dsd
+alias pex print_exdc -d
 alias pf print_factor
 alias pfan print_fanio
 alias pl print_level
 alias pio print_io
+alias pk print_kmap
 alias ps print_stats 
 alias psu print_supp
 alias psy print_symm
+alias pun print_unate
 alias q quit
 alias r read
+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 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 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 wb write_blif
+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 cnf      "st; ren -c; write_cnf"
-alias prove    "st; ren -c; sat"
-alias opt      "b; ren; b"
-alias share    "b; ren; fx; b"
-alias sharem   "b; ren -m; fx; b"
-alias sharedsd "b; ren; dsd -g; sw; fx; b"
-alias resyn    "b; rw; rwz; b; rwz; b"
-alias resyn2   "b; rw; rf; b; rw; rwz; b; rfz; rwz; b"
-alias choice   "fraig_store; resyn; fraig_store; resyn2; fraig_store; fraig_restore"
+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 rwsat2      "st; rw -l; b -l; rw -l; rf -l; fraig; rw -l; b -l; rw -l; rf -l"
+alias shake       "st; ps; sat -C 5000; rw -l; ps; sat -C 5000; b -l; rf -l; ps; sat -C 5000; rfz -l; ps; sat -C 5000; rwz -l; ps; sat -C 5000; rfz -l; ps; sat -C 5000"
+alias share       "st; multi -m; fx; resyn2"
 
-alias scl      scleanup
-alias ssw      ssweep
+# 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"
+
+# experimental implementation of don't-cares
+alias resyn2rsdc    "b; rs -K 6 -F 2; rw; rs -K 6 -N 2 -F 2; rf; rs -K 8 -F 2; b; rs -K 8 -N 2 -F 2; rw; rs -K 10 -F 2; rwz; rs -K 10 -N 2 -F 2; b; rs -K 12 -F 2; rfz; rs -K 12 -N 2 -F 2; rwz; b"
+alias compress2rsdc "b -l; rs -K 6 -F 2 -l; rw -l; rs -K 6 -N 2 -F 2 -l; rf -l; rs -K 8 -F 2 -l; b -l; rs -K 8 -N 2 -F 2 -l; rw -l; rs -K 10 -F 2 -l; rwz -l; rs -K 10 -N 2 -F 2 -l; b -l; rs -K 12 -F 2 -l; rfz -l; rs -K 12 -N 2 -F 2 -l; rwz -l; b -l"
+
+# temporaries
+alias reach    "st; ps; compress2; ps; qrel; ps; compress2; ps; qreach -v; ps"
+alias chnew    "st; haig_start; resyn2; haig_use"
+alias chnewrs  "st; haig_start; resyn2rs; haig_use"
+alias stdsd    "r test/6in.blif; st; ps; u; bdd; dsd -g; st; ps"
+alias trec     "rec_start; r c.blif; st; rec_add; rec_use"
+alias trec4    "rec_start -K 4; r i10.blif; st; rec_add; rec_use"
+alias bmc2     "frames -i -F 10; orpos; iprove"
+
+alias t0       "r test/mc1.blif; st; test"
+alias t1       "r s27mc2.blif; st; test"
+alias t2       "r i/intel_001.aig; ps; indcut -v"