diff options
Diffstat (limited to 'tests/techmap/shiftx2mux.ys')
| -rw-r--r-- | tests/techmap/shiftx2mux.ys | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tests/techmap/shiftx2mux.ys b/tests/techmap/shiftx2mux.ys index acdd54e9e..c13b5f600 100644 --- a/tests/techmap/shiftx2mux.ys +++ b/tests/techmap/shiftx2mux.ys @@ -74,13 +74,13 @@ design -save gold design -load gold -techmap +techmap -D NO_LSB_FIRST_SHIFT_SHIFTX abc -lut 6 select -assert-min 17 t:$lut design -load gold -techmap -map +/shiftx2mux.v -map +/techmap.v +techmap abc -lut 6 select -assert-count 16 t:$lut @@ -92,13 +92,13 @@ sat -verify -prove-asserts -show-ports miter design -load gold -techmap +techmap -D NO_LSB_FIRST_SHIFT_SHIFTX abc9 -lut 6 select -assert-min 17 t:$lut design -load gold -techmap -map +/shiftx2mux.v -map +/techmap.v +techmap abc9 -lut 6 select -assert-count 16 t:$lut |