module FullAdder(CO, SUM, A, B, CI);
	output CO, SUM;
	input A, B, CI;
	wire M1, M2, M3;
	or(M1, A, B);
	and(M2, CI, M1);
	and(M3, A, B);
	or(CO, M2, M3);
	xor(SUM, A, B, CI);
	specify
		(A, B, CI=>SUM)=1;
		(A, B, CI=>CO)=1;
	endspecify
endmodule

    Source: geocities.com/uxormania/galant

               ( geocities.com/uxormania)