mirror of
https://github.com/YosysHQ/yosys
synced 2025-09-30 05:09:04 +00:00
fix(parse): #5234 adjust width of rhs according to lhs
This commit is contained in:
parent
cec48c6abd
commit
2a262483bb
2 changed files with 21 additions and 1 deletions
17
tests/sat/fminit_seq_width.ys
Normal file
17
tests/sat/fminit_seq_width.ys
Normal file
|
@ -0,0 +1,17 @@
|
|||
read_verilog -sv -formal <<EOF
|
||||
module counter(input clk, input [2:0] rst, output logic is_full);
|
||||
logic [1:0] ctr;
|
||||
|
||||
always @(posedge clk)
|
||||
if (rst)
|
||||
ctr <= 0;
|
||||
else
|
||||
ctr <= ctr+1;
|
||||
|
||||
assign is_full = (ctr == 2'b11);
|
||||
endmodule
|
||||
EOF
|
||||
|
||||
hierarchy -check -top counter
|
||||
prep -top counter
|
||||
fminit -seq rst 0,1,2'b11,2'sb11
|
Loading…
Add table
Add a link
Reference in a new issue