diff options
author | Eddie Hung <eddie@fpgeh.com> | 2019-07-19 14:02:46 -0700 |
---|---|---|
committer | Eddie Hung <eddie@fpgeh.com> | 2019-07-19 14:02:46 -0700 |
commit | c926eeb43a9c42a0ecc34871f383f4181b7a45f9 (patch) | |
tree | 515b7b7c549322f65a4ec1f3e68ff699372cd37a /tests | |
parent | cb0fd0521531a69632102f5fad8cdc9996ed4dee (diff) | |
download | yosys-c926eeb43a9c42a0ecc34871f383f4181b7a45f9.tar.gz yosys-c926eeb43a9c42a0ecc34871f383f4181b7a45f9.tar.bz2 yosys-c926eeb43a9c42a0ecc34871f383f4181b7a45f9.zip |
Add another test
Diffstat (limited to 'tests')
-rw-r--r-- | tests/various/wreduce.ys | 25 |
1 files changed, 24 insertions, 1 deletions
diff --git a/tests/various/wreduce.ys b/tests/various/wreduce.ys index 8030c005e..deb99304d 100644 --- a/tests/various/wreduce.ys +++ b/tests/various/wreduce.ys @@ -83,7 +83,6 @@ design -save gold prep # calls wreduce -dump select -assert-count 1 t:$sub r:A_WIDTH=4 r:B_WIDTH=4 r:Y_WIDTH=5 %i %i %i design -stash gate @@ -93,3 +92,27 @@ design -import gate -as gate miter -equiv -flatten -make_assert -make_outputs gold gate miter sat -verify -prove-asserts -show-ports miter + +########## + +read_verilog <<EOT +module wreduce_sub_test4(input [3:0] i, output [8:0] o); + assign o = 5'b00010 - i; +endmodule +EOT + +hierarchy -auto-top +proc +design -save gold + +prep # calls wreduce + +select -assert-count 1 t:$sub r:A_WIDTH=2 r:B_WIDTH=4 r:Y_WIDTH=5 %i %i %i + +design -stash gate + +design -import gold -as gold +design -import gate -as gate + +miter -equiv -flatten -make_assert -make_outputs gold gate miter +sat -verify -prove-asserts -show-ports miter |