blob: 80e63042a56b4aa2da9bad8429a0950a74f66fde [file] [log] [blame]
/*
:name: attributes-variable
:description: Assing attributes to a variable
:should_fail: 0
:tags: 5.12
*/
module top();
(* fsm_state *) logic [7:0] a;
(* fsm_state=1 *) logic [7:0] b;
(* fsm_state=0 *) logic [7:0] c;
endmodule