如何使用$ assertoff禁用层次结构中特定级别以下的断言

Question

我想在各个块中禁用某些断言。这些块是使用参数生成的，因此它们的路径并不总是相同，并且可能存在该块的多个实例化（和声明）。有没有办法“通配”路径和所有具有特定名称的断言？

请注意，我不想仅禁用某些块中的所有断言。

例如替换：

$assertoff(0, genblk1.a_block.b_block.c_block[0].A_ASSERTION);
$assertoff(0, genblk1.a_block.b_block.c_block[1].A_ASSERTION);
$assertoff(0, genblk3.a_block.b_block.c_block[0].A_ASSERTION);

带有以下内容：

$assertoff(0, *A_ASSERTION);

Answer 1

您不能使用字符串或通配符从SystemVerilog语言中访问分层路径。禁用某些优化时，大多数工具都会通过命令行提供字符串访问。在工具用户手册中查看等效命令。