迁移已有验证环境时如何划分 DUT

建立层次清单

从顶层逐级列出 RTL、验证组件、第三方模型与初始化逻辑。为每一项记录综合支持、时序语义、外部依赖及运行时访问需求。不要仅凭模块命名推断其执行位置。

稳定边界接口

优先选择数据和控制边界清晰的层次，减少细粒度往返。对跨边界任务调用定义完成条件和超时，对数据流定义容量与背压。迁移前后检查器应尽量共享，以便比较行为。

逐步扩大映射范围

先选择代表性子系统迁移，验证复位、异常返回和长时间流控。记录每次边界变化前后的正确性及性能。模型替代可能改变 X 传播、初始化和延迟语义，这些差异必须写入限制清单。

原理与信号关系

划分边界不只是选择模块层级。一个跨层读写可能隐含调试依赖，一个由软件每拍驱动的端口可能形成高频通信。优先让边界表达稳定的协议，再决定哪些行为必须保留在软件。存储器要核对读延迟、写优先级、同地址读写和初始化语义；映射成功并不意味着这些行为与原模型自动一致。

动手步骤与预期结果

按下面的顺序执行，每一步都留下可复核的证据。若当前步骤的预期条件未满足，先停在该阶段定位原因；不要继续累积后续错误。涉及工具、板卡或专用硬件的步骤，需要使用本工程实际版本和配置，示例数值不能直接替代设备规格。

1. 枚举跨边界依赖

   预期与判定：搜索层次引用、force/deposit、文件访问、延迟和动态对象，标明使用目的与频率。

2. 核对展开后的接口

   预期与判定：记录端口位宽、符号类型、参数、时钟域与初始化；两侧配置逐项一致。

3. 为存储写微型测试

   预期与判定：分别测试读延迟、同时读写相同地址、未初始化访问；预期行为由模型契约决定。

4. 评估边界交互成本

   预期与判定：统计每事务通信次数；改变批量大小后重新核验功能，不能只看速度提升。

存储模型验收用例表；old/new/no-change 取决于项目规格。

case,write,read,address_relation,expected
read_only,0,1,n/a,documented_read_latency
write_then_read,1_then_0,0_then_1,same,written_value
collision,1,1,same,old_or_new_or_no_change_per_spec
parallel,1,1,different,independent_result

典型故障：从现象到复测

下面的案例是为说明定位方法而构造的教学场景，不代表真实客户事故或本平台设备实测。实践时先确认现象与证据相符，再采用相应修复；若证据不同，应回到前一步缩小范围，避免把同一种表象都归因于同一个问题。

完成检查

• 每个模型有归属和替代说明
• 背压与超时有测试
• 迁移前后使用相同检查点

延伸阅读与来源

本文为黄河电子原创教学说明。产品命令与支持范围请以实际安装版本的官方文档为准。

• Palladium Simulation Acceleration TBA Tutorial / Memory Design · WXE 24.05

  TBA Tutorial PDF 第 22 页：跨边界访问及参数；memDesign 第 9 页：存储设计背景。 本站不分发受限手册；链接通向厂商公开入口，页码以本地手册 PDF 页序为准。

• Cadence Palladium 产品资料

继续阅读