VCS运行时$readmemb无报错但数据未加载及位宽定义问题排查

两种位宽写法的核心区别 #

• 单个向量的位定义[0:31]和[31:0]：仅存在位编号方向差异，前者把向量最左侧的位计为bit0，最右侧为bit31；后者把最左侧计为bit31，最右侧为bit0。32位总长度完全一致，本身不会阻碍$readmemb的正常加载流程，区别仅体现在位截取、拼接、符号运算时的对齐逻辑。
• 数组的索引范围定义：这个是直接影响$readmemb加载位置的核心因素。Verilog标准中，$readmemb/$readmemh 会以数组声明的左边界值为第一个加载起点，索引逐次递减匹配文件中的数据行：
  • 若声明为data [0:639]（左边界0，右边界639），文件第一行数据会存入data[0]，第二行存入data[1]，依次直到data[639]
  • 若声明为data [639:0]（左边界639，右边界0），文件第一行数据会存入data[639]，第二行存入data[638]，依次直到data[0]
    行业通用写法为[0:N-1]的递增数组索引，目的是让文件加载顺序和日常看波形的索引顺序直观对应，避免找错位置。这种写法完全可以满足你存储640个32位整数的需求。

仿真无报错但data数组全为未加载的常见原因 #

• mem文件格式不规范。$readmemb虽支持跳过//开头的注释行，但如果注释没有单独成行、和数据行混写，部分VCS版本会直接终止读取流程，且默认仅在warning级别打印提示，不会抛出硬错误，很容易被忽略。解决方法是把song.mem里所有非纯32位二进制数据的行全部删除，每行严格对齐32个0/1字符，不带任何其他字符。
• 加载流程未实际执行。可以在$readmemb调用后加一行打印校验，确认加载结果：$display("Check load: data[639] = %h, data[0] = %h", data[639], data[0]);，如果打印结果全为x，说明读取流程根本没有匹配到文件内容。
• 仿真路径不匹配。虽然源文件和mem文件在同一目录，但如果VCS启动仿真时的工作目录不是源文件所在路径，$readmemb默认会在当前仿真工作目录下找文件，找不到时同样只打warning不报错。可以临时用绝对路径指向mem文件验证，排除路径问题。
• 位序兼容问题。部分VCS版本对反向位序（即[0:31]）的向量做$readmemb加载时存在兼容bug，直接换成通用的[31:0]向量定义、搭配[0:639]的数组索引写法，即可规避这类兼容问题。

修正后的核心代码片段 #

module temp_tb();
logic clk;
logic rst;
// 替换原数组定义为通用写法，总长度完全匹配640个32位整数的存储需求
logic [31:0] data [0:639];
logic output_valid;
logic [31:0] output_data_r [0:63];
logic [31:0] output_data_i [0:63];

top_level t0(
        .clk(clk),
        .rst(rst),
        .data(data),
        .output_valid(output_valid),
        .output_data_r(output_data_r),
        .output_data_i(output_data_i));

initial begin
    // 读文件后立刻加校验打印，确认加载是否成功
    $readmemb("song.mem", data);
    $display("Load check: data[0] = %b, data[639] = %b", data[0], data[639]);
    $vcdpluson;
    
    // 后续复位、时钟逻辑保持原写法不变
    rst = 1'b0;
    clk = 1'b0;
    #100 clk = 1'b1;
    #100 clk = 1'b0;
    #100 clk = 1'b1;
    #100 rst = 1'b1;
    clk = 1'b0;
    #100 clk = 1'b1;
    #100 clk = 1'b0;
    #100 clk = 1'b1;
    #100 rst = 1'b0;

    for (int i = 0; i < 999; i++) begin
        clk = ~clk;
        #100;
    end
    $finish;
end
endmodule

内容的提问来源于stack exchange，提问作者CalebK