ハードウェアの観点からの2つのロジック実装の違いは何ですか？

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の他の場所で使用される（つまり参照渡し）という区別があります。