整理仿真不匹配的信号定位线索

这个场景能帮你做什么

仿真出现不匹配时，第一条报错不一定就是根因。WorkBuddy 可以基于导出的日志和信号记录整理时间窗口与数据路径，帮助验证工程师定位下一步。

开始前需要准备什么

提供错误时间、用例、种子、版本、日志、信号说明，以及 EDA 工具导出的相关信号表。说明参考模型与被测设计的时序、对齐和判定规则，不能假定所有参考模型都有同样时序。

具体怎么做

第一步：锁定失败窗口

从日志定位首次可见不匹配，保留前后相关周期和时间单位。末尾连锁错误与首次异常分开，跨时钟域关系由工程规则确认。

第二步：整理输入到输出的路径

将输入、控制握手、内部寄存器或 FIFO、输出及期望值按窗口排列，检查有效与就绪、复位和对齐关系。没有导出信号的环节标未知。

第三步：分开疑点类型

列被测设计、数据/时序对齐、参考模型和用例四类候选，说明支持证据与应补信号。不能仅因结果不同就认定 RTL 有错。

第四步：提出验证动作

为每个候选给需看的信号、周期和复现条件，由验证工程师在工具中确认。涉及改代码或参考模型时另行评审。

可以直接交给 WorkBuddy 的完整要求

使用附件日志和导出信号表整理首次不匹配窗口，保留时间单位、用例、种子和版本。
按输入—控制/内部状态—输出—期望排列证据，结合已确认对齐规则分析。
区分设计、对齐、参考模型和用例疑点，每项给证据、反证和需补信号。不猜缺失波形、不改判定逻辑，不宣称已经确定根因。

完成后会得到什么

一份信号时间窗口摘要、候选原因和验证动作，工程师可直接回到 EDA 工具核查。

结果应该怎么检查

核对周期、时钟域、有效信号和期望值对齐。检查摘要是否丢掉报错前状态，候选是否有真实信号支持。

遇到这些情况怎么处理

只有不匹配行时补上下文。波形文件不可读时先用专业工具导出。参考模型语义不清时先确认，不采用自动改绑定或跳过比较来“修复”。

哪些必须人工决定

验证与设计工程师确认根因和修改。AI 整理文本信号线索，不能替代专业波形分析与验证责任。