【HDLBits刷题】Exams/ece241 2014 q1c

问题如下：

其标准输出解的测试如下所示：

根据数据范围，8位有符号数据表示范围为[-128,127]。在70+90=160时，显然数据已经超过了表达范围，overflow仍然为低，表示没有数据溢出。这里对数据溢出的定义就是符号位发生了改变，即 a,b,s三者的符号位不一致。
答案如下：

module top_module (
    input [7:0] a,
    input [7:0] b,
    output [7:0] s,
    output overflow
); 

    // 8位二进制补码加法
    assign s = a + b;

    // 检测有符号溢出
    assign overflow = ((a[7] & b[7] & ~s[7]) | (~a[7] & ~b[7] & s[7]));

endmodule