module XNOR2_HPNW4 (Y, A, B);
	output Y;
	input A, B;

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

	// Timing
	specify
		(posedge A => (Y:A)) = 0;
		(negedge A => (Y:A)) = 0;
		(posedge B => (Y:B)) = 0;
		(negedge B => (Y:B)) = 0;
	endspecify
endmodule