Files
sv2v/test/core/always_attr.v
qcorradi 485ffffa01 always kw conversion visits items with attributes
* Fixing a bug where always_* are not converted when attributed
* Added tests and updated Changelog for the attributed always_* fix
2023-05-30 23:39:47 -04:00

11 lines
190 B
Verilog

module top;
reg a, b, c;
(* test *) always @(posedge a)
c <= b;
(* test *) always @*
if (c)
b <= 1;
(* test *) always @*
a = b;
endmodule