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