diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-01-21 14:08:24 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-01-21 15:19:41 -0800 |
| commit | 8d1b736c4f3d30743f6b3a9cbab35bdb80b49153 (patch) | |
| tree | 9121dc7a1d0f8732bb496411fbb460c46b57cfa4 /tests/techmap | |
| parent | 7977574995baa2cdba1401233179f9f84fe96a3a (diff) | |
| download | yosys-8d1b736c4f3d30743f6b3a9cbab35bdb80b49153.tar.gz yosys-8d1b736c4f3d30743f6b3a9cbab35bdb80b49153.tar.bz2 yosys-8d1b736c4f3d30743f6b3a9cbab35bdb80b49153.zip | |
Move from +/shiftx2mux.v into +/techmap.v; cleanup
Diffstat (limited to 'tests/techmap')
| -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 |