diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-07-19 14:03:34 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-07-19 14:03:34 -0700 |
| commit | e87916b7eb7dd9fccaab19f7d494f44bdfb929f5 (patch) | |
| tree | 9050bee3d21de884fb5eb70b3cea0dc6832fc2fe /tests | |
| parent | 8791e0caac279dd1ca04e93ba8d0175f3cc70f91 (diff) | |
| parent | c926eeb43a9c42a0ecc34871f383f4181b7a45f9 (diff) | |
| download | yosys-e87916b7eb7dd9fccaab19f7d494f44bdfb929f5.tar.gz yosys-e87916b7eb7dd9fccaab19f7d494f44bdfb929f5.tar.bz2 yosys-e87916b7eb7dd9fccaab19f7d494f44bdfb929f5.zip | |
Merge remote-tracking branch 'origin/eddie/wreduce_add' into ice40dsp
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 |