实例和接口的索引数组

Question

我有一组接口。我知道实例数组和接口数组不像可以用变量索引的普通数组，这里我们必须用常量（或使用生成块）索引，这正是问题所在。

我正在使用一个生成块来存储主设备根据地址向其发送数据包的目标从设备 ID provided.Here m_ahb 是主接口数组。我还存储了目标从 ID，即对于主 0，目标 ID 在 dest_slave[0] 中，对于主 1，它在 dest_slave[1] 中，依此类推..

到这里一切都很好。

然后，对于 master 0，我使用 dest_slave[0] 值来索引从属接口数组 (s_ahb) 并挑选出相应的目标从属接口进行探测信号并在断言中使用它。但现在我收到错误 'non constant array index into instance array'.

任何关于此的 help/advice 将不胜感激。谢谢。

int dest_slave[NUM_MASTERS];
generate
  for (genvar i = 0; i < NUM_MASTERS; i++) begin
    always_ff @(posedge clk, negedge resetn) begin
      if (m_ahb[i].haddr >= 'h0000_0000 && m_ahb[i].haddr <= 'h0000_ffff) dest_slave[i] = 0;
      if (m_ahb[i].haddr >= 'h1000_0000 && m_ahb[i].haddr <= 'h1000_ffff) dest_slave[i] = 1;
      if (m_ahb[i].haddr >= 'h4000_0000 && m_ahb[i].haddr <= 'h4000_ffff) dest_slave[i] = 2;
    end
  end
endgenerate
generate
  for (genvar i = 0; i < NUM_MASTERS; i++) begin
    assert property my_proprty(m_ahb[i].hburst,s_ahb[dest_slave[i]]].hburst); //this line creates error it is not liking s_ahb[dest_slave[i]]
  end
endgenerate

Answer 1

我的猜测是 s_ahb 是模块实例或 non-virtual 接口实例。无法动态访问这些类型的阵列路径。您可以在逻辑中创建以分离探测和映射。

int dest_slave[NUM_MASTERS];
int slave_hburst_val[NUM_MASTERS]; // <- change data type as needed
generate
  for (genvar i = 0; i < NUM_MASTERS; i++) begin
    always_ff @(posedge clk, negedge resetn) begin
      if (m_ahb[i].haddr >= 'h0000_0000 && m_ahb[i].haddr <= 'h0000_ffff) dest_slave[i] = 0;
      if (m_ahb[i].haddr >= 'h1000_0000 && m_ahb[i].haddr <= 'h1000_ffff) dest_slave[i] = 1;
      if (m_ahb[i].haddr >= 'h4000_0000 && m_ahb[i].haddr <= 'h4000_ffff) dest_slave[i] = 2;
    end

    assign slave_hburst_val[i] = s_ahb[i].hburst; // intermediate assignment

    assert property my_proprty( m_ahb[i].hburst, slave_hburst_val[ dest_slave[i] ] );
  end
endgenerate

仅供参考：您的原始代码有一个额外的 ]。 s_ahb[dest_slave[i]]].hburst

实例和接口的索引数组

Indexing array of instances and interfaces

system-verilog

uvm

system-verilog-assertions