如何查看内存波形？

Question

我无法使用 gtkwave 查看memory：

    module internal_memory(
        output [31:0] hrdata,
        input mem_enable,
        input [31:0] haddr,
        input [31:0] hwdata,
        input hwrite,
        input hreset,
        input hclk
    );
        reg [31:0] memory [0:1023]; // <-------------- can't find its waveform
        reg [31:0] internal_hrdata;

        always @(posedge hclk, hreset) begin
            if (!hreset) begin
                internal_hrdata <= 32'h0000_0000;
            end
            else begin
                if (mem_enable) begin
                    if (hwrite) begin
                        memory[haddr] <= hwdata;
                    end
                    else begin
                        internal_hrdata <= memory[haddr];
                    end
                end
            end
        end

        assign hrdata = internal_hrdata;

    endmodule

你有什么建议查看memory的波形？

或者如何在 gtkwave 或任何 .vcd/波形查看器中显示二维数组？

Answer 1

我知道这是一个老问题，但我最近不得不在课程期末项目中查看 Icarus/GTKWave 的模拟记忆，并想为阅读此问题的任何人回答这个问题。我能够在 Icarus Verilog 可移植性说明中找到答案（请参阅源代码）。

使用 Icarus，您需要转储要明确查看的每个数组字（内存位置）：

module top;
   reg [7:0] array [2:0];
   initial begin
     $dumpvars(0, array[0], array[1]);
     ...
   end
endmodule

您可以使用 for 循环自动转储数组中的所有单元格：

module top;
   integer idx; // need integer for loop
   reg [7:0] array [2:0];
   initial begin
     for (idx = 0; idx < 2; idx = idx + 1) $dumpvars(0, array[idx]);
     ...
   end
endmodule

来源：http://iverilog.wikia.com/wiki/Verilog_Portability_Notes（转储数组字）

Answer 2

您需要先将内存转储到 VCD 文件中。我熟悉的 2 个模拟器需要额外的模拟选项来将内存转储到 VCD；也许你的也是。