summaryrefslogtreecommitdiffstats
path: root/abc.rc
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2008-01-30 08:01:00 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2008-01-30 08:01:00 -0800
commit4d30a1e4f1edecff86d5066ce4653a370e59e5e1 (patch)
tree366355938a4af0a92f848841ac65374f338d691b /abc.rc
parent6537f941887b06e588d3acfc97b5fdf48875cc4e (diff)
downloadabc-4d30a1e4f1edecff86d5066ce4653a370e59e5e1.tar.gz
abc-4d30a1e4f1edecff86d5066ce4653a370e59e5e1.tar.bz2
abc-4d30a1e4f1edecff86d5066ce4653a370e59e5e1.zip
Version abc80130
Diffstat (limited to 'abc.rc')
-rw-r--r--abc.rc89
1 files changed, 15 insertions, 74 deletions
diff --git a/abc.rc b/abc.rc
index ce5b1240..6028a522 100644
--- a/abc.rc
+++ b/abc.rc
@@ -1,10 +1,9 @@
# 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 progressbar # display the progress bar
+set savesteps 1 # sets the maximum number of backup networks to save
# program names for internal calls
set dotwin dot.exe
@@ -15,10 +14,6 @@ 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
@@ -27,102 +22,48 @@ 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 lp lutpack
-alias pd print_dsd
-alias pex print_exdc -d
+alias mu renode -m
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 w write
-alias wa write_aiger
-alias wb write_bench
-alias wc write_cnf
-alias wh write_hie
+alias wb write_blif
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 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 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"
-# 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"
+alias scl scleanup
+alias ssw ssweep