module m3213;
 logic clk=0, request=1'b1, go=1;
 initial forever #10 clk=!clk;
 always @ (posedge clk) request<=!request;
  
 sequence  req_seq; 
   @ (posedge clk)  request; 
 endsequence
 ap_qst0: assert property(@ (posedge clk)  $stable( request ) |-> go);
 ap_qst1: assert property(@ (posedge clk)  $stable(req_seq.triggered) |-> go);
 ap_qst2: assert property(@ (posedge clk)  (req_seq.triggered) |-> go);	
					  
endmodule : m3213