summaryrefslogtreecommitdiffstats
path: root/abc.rc
diff options
context:
space:
mode:
Diffstat (limited to 'abc.rc')
-rw-r--r--abc.rc36
1 files changed, 28 insertions, 8 deletions
diff --git a/abc.rc b/abc.rc
index 33fabb21..490e87d4 100644
--- a/abc.rc
+++ b/abc.rc
@@ -1,3 +1,21 @@
+# global parameters
+#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
+
+# 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
+
+# standard aliases
alias b balance
alias cl cleanup
alias clp collapse
@@ -30,16 +48,18 @@ alias sa set autoexec ps
alias so source -x
alias st strash
alias sw sweep
-alias t "r dalu.blif; st; psu"
alias u undo
alias wb write_blif
alias wl write_blif
alias wp write_pla
-alias cnf "st; renode -c; write_cnf"
-alias prove "st; renode -c; sat"
-alias opt "b; renode; b"
-alias share "b; renode; fx; b"
-alias sharem "b; renode -m; fx; b"
-alias sharedsd "b; renode; dsd -g; sw; fx; b"
-alias resyn "b; rw; rf; b; rw; rwz; b; rfz; rwz; b"
+
+# 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"