module INV1_HPNW4 (Y, A);
	output Y;
	input A;

	// Function
	buf (Y, 1'b0);

	// Timing
	specify
		if (A)
			(posedge A => (Y-:1'b0)) = 0;
		if (~A)
			(negedge A => (Y+:1'b1)) = 0;
		ifnone (A => Y) = 0;
	endspecify
endmodule