SVIncCompil/Testcases/Google/chapter-9/9.2.2.4--always_ff.sv - third_party/Surelog - Git at Google

 /*
 :name: always_ff
 :description: always_ff check
 :should_fail: 0
 :tags: 9.2.2.4
 */
 module always_tb ();
 	wire a = 0;
 	wire b = 0;
 	reg q = 0;
 	always_ff @(posedge a)
 		q <= b;
 endmodule
	/*
	:name: always_ff
	:description: always_ff check
	:should_fail: 0
	:tags: 9.2.2.4
	*/
	module always_tb ();
	wire a = 0;
	wire b = 0;
	reg q = 0;
	always_ff @(posedge a)
	q <= b;
	endmodule