一位元加法器行為模式設計與測試/P29化簡

module adder1_behavorial (carry_out, sum, a, b, carry_in);

input a, b, carry_in;

output carry_out, sum;

assign sum = (a^b)^carry_in;

assign carry_out = (a^b)&carry_in|(a&b);

endmodule