Files
sv2v/test/core/interface_check_extra.sv
Zachary Snow 1311e449fe fix errant expr resolution flagging
- references to other instances are no longer flagged
- special handling for genvars to avoid flagging and modport scoping
- interface inlining visits expressions in declarations
- Scoper has interface for removing entries
2021-07-23 19:59:26 -04:00

28 lines
483 B
Systemverilog

interface intf;
byte x;
endinterface
module mod(intf j);
intf i();
assign j.x = 1;
assign i.x = 2;
genvar z;
for (z = 0; z < 2; z++) begin : blk
wire [7:0] x = $bits(j.x) - 5 + z;
end
endmodule
module top;
byte z = 0;
intf i();
mod m(i);
`define DUMP(expr) $display(`"expr = %b`", expr);
initial begin
`DUMP(z)
`DUMP(i.x)
`DUMP(m.i.x)
`DUMP(m.blk[0].x)
`DUMP(m.blk[1].x)
end
endmodule