我的测试台总是显示 X 作为输出

Question

我无法识别错误，但所有代码在逻辑和语法上似乎都是正确的。测试台中sum 和carry 的值始终为X。 有两个模块，一个用于 8 位加法器，另一个用于 16 位加法器：

module adder_8(in1 , in2 , cin , sum , carry);

input [7:0] in1 , in2;
input cin;
output reg [7:0] sum;
output reg carry;

always @(in1 or in2) begin
    {carry , sum} = in1 + in2 + cin;
end
endmodule

module adder_16(input_a , input_b , c , summation , cout);

input [15:0] input_a , input_b;
input c;
output [15:0] summation;
output cout;

wire t1;

adder_8 inst1 (input_a[7:0] , input_b[7:0] , c , summation[7:0] , t1);
adder_8 inst2 (input_a[15:8] , input_b[15:8] , t1 , summation[15:8] , cout);

endmodule

测试台文件是：

module testbench;

reg [15:0] a,b;

wire [15:0] sum;
wire carry;

parameter zero = 1'b0;

adder_16 ex(a , b , zero , sum , carry);

initial begin

    $monitor($time," A = %d , B = %d sum = %d carry = %b", a , b , sum , carry);

    #10 a = 16'd 100; b = 16'd 100;

    #10 a = 16'd 50; b = 16'd 20;

    #20 $finish;

end
endmodule

非常感谢您的帮助。

Answer 1

cin 在always @(in1 or in2) 的敏感度列表中缺失。它应该是 always @(in1 or in2 or cin) 以补充 1995 版标准。 2001 版标准将其改进为 always @*（或同义词 always @(*) 用于自动敏感度列表。

如果您的目标是 SystemVerilog，请使用 always_comb（没有 @ 或信号列表）。这将添加一个额外的编译时间检查，以确保逻辑没有分配到另一个 always 块中，这会使代码非合成器。