1 files changed, 0 insertions, 147 deletions
diff --git a/scripts/abc.rc b/scripts/abc.rc
deleted file mode 100644
index 365a49ca..00000000
--- a/scripts/abc.rc
+++ /dev/null
@@ -1,147 +0,0 @@
-# reachx
-python new_abc_commands.py
-python -c "import reachx_cmd"
-
-
-# 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"
-#load_plugin /hd/common/pyabc/bip "BIP"
-
-# standard aliases
-alias hi history
-alias b balance
-alias cg clockgate
-alias cl cleanup
-alias clp collapse
-alias cs care_set
-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; 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"
-
-# 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"
-
-