从硬件角度看以下两种逻辑实现有什么区别？

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的其他地方（即通过引用）使用关于什么构成变量的区别。