- 博客(1)
- 收藏
- 关注
原创 CircuitCheck(CCK)(六)
为了适应现有CCK命令之间的不同性质,还引入了基于实例的作用域和基于节点的作用域的概念。inc_port是一个关键字。对于“tvg”运行,通过在作用域表达式中引用标记名“tag2”,在作用域文件“file_1”中定义感兴趣的作用域,这样,有效作用域范围将仅包括指定了“tag2“的行,而不是将整个输入作用域文件作为目标作用域范围。在对sdevv/cckmosV进行设备检查后,“tag1”指的是以下范围在作用域文件“file_1”中定义的兴趣,同时它将删除范围表达式中引用标记名“tag3”的所有违规行为。
2024-10-23 09:24:10
1045
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人
RSS订阅