/*
: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