blob: 7268e6c5fc274786ab5c5c59fe2bf3ad0c2ffc9d [file] [log] [blame]
/*
:name: always_latch_expr
:description: always_latch check
:should_fail: 0
:tags: 9.2.2.3
*/
module always_tb ();
wire a = 0;
wire b = 0;
reg q = 0;
always_latch
if(a) q <= b;
endmodule