【VC_FORMAL】CC连接检查工具使用方法 1、确定检查对象工具主要用于顶层/IP集成场景,适用于芯片设计中各模块间互联信号的连接正确性验证。明确检查方法采用结构检查与值相等检查相结合的方式:结构...