如何在 SystemVerilog 中制作可综合的指令存储器？

如何解决如何在 SystemVerilog 中制作可综合的指令存储器？

我正在 SystemVerilog 上设计 MIPS 处理器。指令存储器是这样制作的：

   module instr_mem
#(
    parameter SIZE = 7 //64
)
(
    input logic rst_n,input logic clk,input   logic [31:0] addr,output  logic [31:0] rd
);

logic [31:0] rom [0 : SIZE-1];

assign rd = rom[addr];

initial begin
    rom <= {
        32'h0,32'h2408000F,// a = F
        32'h240A0000,// res = 0

        32'h01485021,// (*) res = res + a
        32'h2508FFFF,// a = a - 1

        32'h1500FFFD,// if (a != 0) goto (*)
        32'hAC0A0ADD
    };
end

endmodule

但是这段代码不会综合作为“黑匣子”/单独的模块等，顶层模块看起来像：“核心、数据存储器，”。 我试图使 IM 组合 (assign rom = {..})，但合成的方式相同。

如何制作可合成的指令存储器？顺便说一句，是否有任何指南可以编写可靠的可合成代码？

解决方法

对于 Xilinx Vivado，综合指南是 Xilinx doc UG901。每个供应商和工具版本都会不同。请查阅综合工具供应商文档以获取指导。举个例子，我找到了这个版本的UG901。 https://www.xilinx.com/support/documentation/sw_manuals/xilinx2017_1/ug901-vivado-synthesis.pdf 第 4 章有一节名为“ROM HDL 编码技术”。这提供了您要求的指导。

图像中显示的编码风格使用 case 语句，并将为 4 位选择变量“addr”推断 ROM。 将您自己的值放在 = 赋值的 RHS 上，而不是图中列出的值。您应该在示例分配的“数据”位置分配“ROM”。图中显示的变量“data”仅使用打包维度（您的示例有打包和解包）；从“rom”的减速中消除未压缩的维度（“[0 : SIZE-1]”部分）。另外，更改“assign rd = rom[addr];”这一行'分配 rd = rom;使用默认值：rom = '0 来定义所有情况。您可以使用 always_comb 而不是 always @* 作为更 SystemVerilog 的方法。它更好，因为 always_comb 在模拟中总是在 t=0 时被评估，而总是 @* 不会。

作为制作 SystemVerilog ROM 的另一种方法，使用 $readmh()，它将文件读入内存变量“rom”，如 SystemVerilog 规范第 21.4 节“从文件加载内存阵列数据”所示。 https://ieeexplore.ieee.org/document/8299595][3]
这里有一个关于 $readmh() 的不错的教程。 https://projectf.io/posts/initialize-memory-in-verilog/

这种方法（使用文件和 $readmh() ）可能需要项目根目录中的符号链接指向 $readmemh() 读取的文件。使用此方法时，使用打包和未打包维度定义 'rom' 变量。如果您有大量数据要存储在 ROM 中，则首选此方法。在 case 语句中维护数十万行并不容易。

SystemVerilog 综合的一般参考是：Stu Sutherland 的“RTL Modeling with SystemVerilog for Simulation and Synthesis: Using SystemVerilog for ASIC and FPGA Design”非常适合 SystemVerilog（意见），重点是综合。