diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-07-16 12:44:26 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-07-16 12:44:26 -0700 |
| commit | 8a2a2cd035d5fe931899256711ed972fd1da3a3b (patch) | |
| tree | bba126437ca31baf1f910f1a9bb023e55da9bd31 /tests | |
| parent | dd10d2b00d6760f2d09f55c90591855afcae409e (diff) | |
| download | yosys-8a2a2cd035d5fe931899256711ed972fd1da3a3b.tar.gz yosys-8a2a2cd035d5fe931899256711ed972fd1da3a3b.tar.bz2 yosys-8a2a2cd035d5fe931899256711ed972fd1da3a3b.zip | |
Forgot to commit
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/lut/check_map_lut6.ys | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/lut/check_map_lut6.ys b/tests/lut/check_map_lut6.ys new file mode 100644 index 000000000..8a32e4d10 --- /dev/null +++ b/tests/lut/check_map_lut6.ys @@ -0,0 +1,7 @@ +chparam -set LUT_WIDTH 6 top +simplemap +equiv_opt -assert techmap -D LUT_WIDTH=6 -map +/cmp2lut.v +design -load postopt +equiv_opt -assert techmap -D LUT_WIDTH=6 -map +/gate2lut.v +design -load postopt +select -assert-count 0 t:* t:$lut %d |