0

我正在尝试为使用generate for statment 生成的模块实例绑定我的断言。

下面是我的绑定断言模块中的绑定语句：

`define NUM_BLKS 4;
genvar asrt_inst;
generate
for (asrt_inst = 0;asrt_inst < `NUM_BLKS;asrt_inst = asrt_inst+1) 
begin 
bind top.u_dut.u_blk_gen[asrt_inst].u_blk my_assert u_my_assert (
.*
);
end
endgenerate

在这里，RTL 在 u_blk_gen[gen_var] 的 gen 块下，我试图将我的断言绑定到生成实例的每个实例。使用 generate 块生成的 RTL 的路径实例是：

  • top.u_dut.u_blk_gen[0].u_blk
  • 顶部.u_dut.u_blk_gen 1 .u_blk
  • top.u_dut.u_blk_gen[2].u_blk
  • top.u_dut.u_blk_gen[3].u_blk

使用 bind 语句，我得到以下编译错误：

bind top.u_dut.u_blk_gen[asrt_inst].u_blk my_assert u_my_assert (
                                 |
ncvlog: *E,ILLGVR (/home/user/assertion_bind.v,165|72): This genvar cannot be used in this context [12.1.3(IEEE 2001)].

需要摆脱这个问题。

这是有效的陈述吗？

如果没有，是否有解决这种情况的方法？

EDA Playground 上的代码

4

2 回答 2

0

这将有助于generate在您的 RTL 中显示该块，但我认为您在bind语句中缺少实例名称。它应该是

bind top.u_dut.u_blk_gen[asrt_inst].instname my_assert u_my_assert (

如果要绑定到模块的所有实例，则不需要特定于实例的绑定。你可以做

bind targetname my_assert u_my_assert (
于 2016-08-29T13:07:36.460 回答
0

这是一个工具的支持问题。联系了供应商（cadence），该供应商表示该工具的最新版本支持此功能。

我们需要传递-nncbind命令行选项。

病房15.1版本支持此功能，它需要额外的孵化许可证。但是从15.20.008版本开始，它不需要额外的许可证。

于 2016-09-07T10:56:48.700 回答