從硬件角度看以下兩種邏輯實現有什麼區別？

Question

實現1：

logic [2:0][3:0] reg0; // Packed 
always_ff@(clk_a) 
    reg0[1:0] <= in0[1:0]; 
always_ff@clk_b) 
    reg0[3:2] <= in1[1:0]; 

實現2：

logic [2:0] reg0 [3:0]; // unpacked 
always_ff@(clk_a) 
    reg0[1:0] <= in0[1:0]; 
always_ff@clk_b) 
    reg0[3:2] <= in1[1:0]; 

爲什麼工具給我多驅動程序錯誤執行1？

Answer 1

區別在於LRM認爲變量。您不允許對來自不同進程的同一變量進行多個賦值。打包數組被認爲是一個變量以及每個元素，如果一個解壓數組。這種限制的原因更多地與有效的模擬實現有關，而不是真正與硬件實現有關，並且在LRM的其他地方（即通過引用）使用關於什麼構成變量的區別。