SVIncCompil/Testcases/Google/chapter-16/16.12--property-disable-iff.sv - third_party/Surelog - Git at Google

 /*
 :name: property_disable_iff_test
 :description: property disable iff test
 :should_fail: 0
 :tags: 16.12
 */
 module top();

 logic clk;
 logic a;
 logic b;
 logic c;

 assert property ( @(posedge clk) disable iff (a) b |-> c );

 endmodule
	/*
	:name: property_disable_iff_test
	:description: property disable iff test
	:should_fail: 0
	:tags: 16.12
	*/
	module top();

	logic clk;
	logic a;
	logic b;
	logic c;

	assert property ( @(posedge clk) disable iff (a) b \|-> c );

	endmodule