mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-23 00:55:32 +00:00
Code Activity

Merge pull request #1143 from YosysHQ/clifford/fix1135

Browse source 
Add "pmux2shiftx -norange"
This commit is contained in:
Eddie Hung 2019-06-27 11:48:48 -07:00 • committed by GitHub
commit 6c210e5813
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
4 changed files with 37 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

10
tests/various/pmux2shiftx.v
View file

@ -32,3 +32,13 @@ module pmux2shiftx_test (
endcase
end
endmodule
module issue01135(input [7:0] i, output o);
always @*
case (i[6:3])
4: o <= i[0];
3: o <= i[2];
7: o <= i[3];
default: o <= 1'b0;
endcase
endmodule

19
tests/various/pmux2shiftx.ys
View file

@ -1,4 +1,7 @@
read_verilog pmux2shiftx.v
design -save read
hierarchy -top pmux2shiftx_test
prep
design -save gold
@ -21,8 +24,16 @@ design -import gate -as gate
miter -equiv -flatten -make_assert -make_outputs gold gate miter
sat -verify -prove-asserts -show-ports miter
design -load gold
stat
#design -load gold
#stat
#
#design -load gate
#stat
design -load gate
stat
design -load read
hierarchy -top issue01135
proc
pmux2shiftx -norange
opt -full
select -assert-count 0 t:$shift*
select -assert-count 1 t:$pmux