第三章Connectivity 连接性验证
概述
Connectivity App 自动验证 SoC 中 IP 之间的信号连接是否正确。这在大型 SoC 集成中特别有用，可以替代耗时的手动连接性审查。
两种验证模式
Basic Connectivity Flow（正向连接验证）
给定一个连接规格（哪些源信号应该连到哪些目标信号），验证 RTL 实现是否匹配。
Reverse Connectivity Flow（反向连接验证）
从 RTL 实际连线中自动提取连接关系，与期望的连接模式对比，发现意外的连接或漏连。
GUI 概览
连接分类
- Matched：连接与规格一致
- Missing：规格中有但 RTL 中缺少的连接
- Extra：RTL 中有但规格中未定义的连接
- Mismatched：连接不匹配
反向连接验证
在反向模式中，可以指定源端和目的端模式来自动生成连接：
# 指定源实例和目的实例
connectivity -source_instance <src_inst> -destination_instance <dst_inst>IP-XACT 支持
JasperGold 支持 IEEE 1685-2009 IP-XACT 标准，可以直接导入 IP-XACT 描述自动提取连接关系：
# 导入 IP-XACT 文件
import_ipxact -file component.xml
# IP-XACT 到 JasperGold CSV 映射
# 支持 vendor extensions 用于特殊连接属性- IP-XACT 中的 busInterface 映射到 JasperGold 的连接组
- 支持 adHoc 连接和 vendor extensions
Connectivity 验证界面
连接性验证方法论
什么时候用 Connectivity App
- SoC 集成阶段，验证模块间的连线是否正确（接线错误是集成阶段最常见的 bug）
- 顶层网表验证（多工具综合/布局布线后的连接一致性）
- IP 替换验证（一个 IP 换成另一个，接口信号连接是否正确）
- 从 IP-XACT/CSV 自动生成连接规格，与 RTL 实际连接对比
COI 验证和 Toggle 检查各做什么
| 检查类型 | 验证内容 | 能发现 |
|---|---|---|
| COI 验证 | 源信号和目的信号在彼此的影响锥内（逻辑上存在路径） | 信号完全没连、接错了端口 |
| Toggle 检查 | 翻转源端时目的端也翻转（功能上路径是通的） | 路径被门控阻塞、恒 0/1 信号、组合环导致不确定 |
两种检查都要跑。COI 通过只能说明"有路径"，但路径可能被使能信号阻塞；Toggle 检查验证路径功能上是通的。
正向 vs 反向验证
| 模式 | 输入 | 适用场景 |
|---|---|---|
| 正向 | CSV 连接映射表（spec） | 有明确连接规格，验证 RTL 符合规格 |
| 反向 | 源模块列表（自动提取） | 没有规格文档，从 RTL 反向工程连接关系 |
常见陷阱
- CSV 写错了：验证通过但连接本身就是错的——CSV 要由架构师 review
- 缺少约束：模块使能信号未约束导致 Toggle 检查失败（该路径被禁用时翻转不过去）
- 黑盒过度：中间模块被黑盒后 COI 分析不完整，连接路径断开
来源文档
jaspergold_conn_userguide.pdfjaspergold_ipxact_reference.pdfexample_jaspergold_apps/CONN/