Files
sv2v/test/core/always_attr.sv
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
198 B
Systemverilog

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