摘要
本申请提供了一种待测模块的验证方法及设备,涉及芯片验证技术领域。参考模型在每接收到一个数据包后,生成并保存与该数据包对应的至少一个查表信息,并将生成的与该数据包对应的第一处理结果及数据包标识发送给比较器,查表信息中包括查表结果,查表信息与对应的数据包标识对应保存;待测模块基于当前产生的第二目标查表请求所对应的目标数据包标识,从参考模型保存的查表信息中获得对应的目标查表结果,进而生成的第二处理结果及目标数据包标识发送给比较器;比较器根据同一数据包标识对应的第一处理结果及第二处理结果,获得比较结果,比较结果用于确定验证结果。如此,可减少仿真停止的时间点和真正出现错误输出的时间点不能对齐的情况。
技术关键词
待测模块
标识
队列
验证方法
验证设备
芯片验证技术
验证系统
数据
系统为您推荐了相关专利信息
数据同步
时序预测模型
两阶段提交协议
分布式事务协调
网络拥塞程度
资源分配方法
服务器
矩阵
资源分配策略
性能指标信息