diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-06-23 07:48:10 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-06-23 07:48:10 -0700 |
| commit | 8888e8e82e189a599a340e83ac8094bdef1ceb51 (patch) | |
| tree | cec4d875ea855fda94a3fe20b6745306285858db /abc.rc | |
| parent | 8eb651c3d380168aeb752f90f16b37fff6d39142 (diff) | |
| download | abc-8888e8e82e189a599a340e83ac8094bdef1ceb51.tar.gz abc-8888e8e82e189a599a340e83ac8094bdef1ceb51.tar.bz2 abc-8888e8e82e189a599a340e83ac8094bdef1ceb51.zip | |
Experiments with the mapper.
Diffstat (limited to 'abc.rc')
| -rw-r--r-- | abc.rc | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -132,7 +132,9 @@ 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 r2rs "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" +alias c2rs "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" |