这是正在使用的纹波进位加法器,但是,当sub = 1 A = 4 B = 3时,程序没有返回溢出,总和是1100而不是0110.我们是否搞砸了进位行为?
module fullAdder(A, B, Cin, sum, Cout);
input A, B, Cin;
output sum, Cout;
assign sum = A^B^Cin;
assign Cout = (Cin&A) | (Cin&B) |(A&B);
endmodule
module RCA4bit(A, B, C0, sum, C1, overflow);
input [3:0] A;
input [3:0] B;
output [3:0] sum;
input C0;
output C1;
output overflow;
wire [2:0] carry;
fullAdder RCA1(A[0], B[0], C0, sum[0], carry[0]);
fullAdder RCA2(A[1], B[1], carry[0], sum[1], carry[1]);
fullAdder RCA3(A[2], B[2], carry[1], sum[2], carry[2]);
fullAdder RCA4(A[3], B[3], carry[2], sum[3], C1);
assign overflow = C1 ^ carry[2];
endmodule
module RCA4bit2cmp(A, B, sub, sum, C1, overflow);
input [3:0] A;
input [3:0] B;
output [3:0] sum;
input sub;
output C1;
output overflow;
wire [3:0]invB;
assign invB = sub?~B:B;
RCL4bit RC4(A, invB, sub, sum, C1, overflow);
endmodule
答案 0 :(得分:1)
你的溢出术语对我来说没有意义,我认为溢出只是执行,我不知道你为什么用进位[2]对它进行xord。
除此之外我没有看到任何错误,我不知道如何将1100作为输出,我不明白为什么你期望答案是0110(6)。
如果A是0100,b是0011,那么invB是1100,加上额外的Cin意味着你得到了B:
0100 (A)
1100 (invB)
+ 0001 (Cin)
_________
10001
溢出为1,结果为0001(4-3 = 1)。
您是否尝试通过波形检查以查看结果与此区别的位置?