首次使用前的工程检查清单

准备版本、输入和模型,减少第一次编译的无效往返。

先修知识掌握 DUT 与 Testbench 分工。

适用环境Palladium 方法说明;命令须对照已安装 WXE / IXCOM 版本

验证状态官方资料对照与原创教学示例 · 板卡 / Palladium 步骤待设备验证

本文目录确认环境匹配整理设计输入用最小测试建立基线原理与信号关系动手步骤与预期结果典型故障:从现象到复测

确认环境匹配

记录设备代际、WXE/IXCOM 完整版本和仿真器版本;由平台维护者确认支持组合。验证编译与运行主机能访问同一工程路径、所需许可证可用,并留出编译与追踪数据空间。

整理设计输入

建立有顺序的文件清单,标明顶层、宏定义、include 路径和参数。列出存储器、模拟模型、工艺库单元、加密 IP 以及不支持的行为结构;逐项确定替代、留在软件侧或其他支持策略。

用最小测试建立基线

先在软件仿真验证复位和短数据通路,再迁移到平台。先证明加载成功、时钟推进和检查器通过,再增加设计规模与测试长度。保留这份最小用例作为后续环境升级的冒烟测试。

原理与信号关系

硬件仿真的入口是可解释的工程边界:哪些逻辑进入硬件、哪些模型留在软件,以及两者如何同步。许可证、服务器与硬件资源检查只能证明环境可用,不能证明设计可运行。将环境故障与设计故障分开,先用团队已知通过的最小工程验证工具组合,再引入业务 RTL;这能避免把平台连通性问题误判为设计不支持。

首次使用前的工程检查清单:关键关系环境基线版本 / 资源设计输入顶层 / 文件清单映射审查时钟 / 存储 / 边界最小测试结果与日志环境检查通过 → 设计编译通过 → 功能运行通过,三项独立判定
首次使用前的工程检查清单:关键关系(原创示意,非器件引脚图;窄屏可横向滑动)

动手步骤与预期结果

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

  1. 固定受支持的工具组合

    预期与判定:从团队验证矩阵记录 IXCOM、Xcelium、WXE 与服务器版本;不要任意混用安装路径。

  2. 盘点不可直接映射部分

    预期与判定:标注文件 I/O、延迟语句、动态对象、跨层访问、存储模型和外部接口;逐项确定放置位置。

  3. 运行已知通过的基准工程

    预期与判定:保存环境检查输出和退出码;若基准失败,先解决资源或配置问题。

  4. 建立迁移验收表

    预期与判定:每个端口写明方向、宽度、时钟域和握手规则;初始化、复位、超时与结束条件均有明确标准。

运行记录模板;值必须从实际工程填写,不是启动命令。

Text
rtl_revision = <commit>
source_manifest = <sha256-file>
top_and_parameters = <expanded configuration>
tool_versions = <IXCOM / Xcelium / WXE>
mode = <SA or ICE>
clock_reset_plan = <reviewed document>
pass_condition = <transaction count and checksum>

典型故障:从现象到复测

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

完成检查

  • 记录经平台确认的版本组合
  • 黑盒和模型有明确处理方案
  • 短测试有自动通过条件

延伸阅读与来源

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

继续阅读

硬件仿真

如何选择 SA/ICE 及交互方式

根据测试环境所在位置与目标接口要求选择运行流程。

11 分钟
硬件仿真

完成最小设计的编译运行

把第一次平台运行拆为有检查点的五个阶段。

10 分钟
硬件仿真

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

识别可映射逻辑、行为模型和跨边界通信。

10 分钟