- 对于memory文件,通常会将memory进行排除,只收集memory top的port的翻转覆盖率,配置文件如下:
-moduletree module_name 0
begin tgl(portsonly) +module module_name end
- 如果子模块A已经做过模块级验证,可以将其进行排除,只收集翻转覆覆盖率,如下:
-moduletree module_A_name 0
begin tgl(portsonly) +module module_A_name end
-
如果子模块A下面例化有memory,则该memory将保留顶层端口的翻转覆盖率,因此在DVE中会看到A下面并没有被完全排除
-
如果memory在文件里面中用-v进行加载,即指定为library file,则上述步骤1中的设置部分无效,memory被直接排除掉(在DVE中);如果删除步骤1的配置,在verdi中打开时会发现memory还有下面的实例无法进行exclude。