From 4f72aff1d164b1ebb190ac5e1e7a5c01d8d1e720 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 30 Sep 2013 21:29:37 -0700 Subject: [PATCH] Adding new aliases. --- abc.rc | 2 ++ 1 file changed, 2 insertions(+) diff --git a/abc.rc b/abc.rc index 3e652a976..c5fba3b1d 100644 --- a/abc.rc +++ b/abc.rc @@ -124,6 +124,8 @@ 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 &fx_ "&put; sweep; sop; fx; st; &get" alias &sw_ "&put; sweep; st; &get" +alias &dc3 "&b; &jf -K 6 -g; &b; &jf -K 4 -g; &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"