Added alias blif2aig = undc; strash; zero

810c0be1 · Alan Mishchenko · d0da3a82 · 810c0be1
Commit 810c0be1 authored Dec 22, 2011 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 0 deletions

abc.rc
+1 -0

No files found.
--- a/abc.rc
+++ b/abc.rc
@@ -117,6 +117,7 @@ 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"

 # resubstitution scripts for the IWLS paper
 alias src_rw      "st; rw -l; rwz -l; rwz -l"