一种验证方法、装置、电子设备及可读存储介质.pdfVIP

  • 2
  • 0
  • 约2.63万字
  • 约 22页
  • 2024-03-20 发布于四川
  • 举报

一种验证方法、装置、电子设备及可读存储介质.pdf

本发明实施例提供一种验证方法、装置、电子设备及可读存储介质,涉及计算机技术领域。该方法包括:将待测设计拆分为至少两个子模块;针对每个子模块进行建模,得到参考模型;所述参考模型包含所述待测设计中每个子模块对应的参考子模型;在每个时钟周期内对所述待测设计中的时序控制信号进行采样,并利用采样得到的时序控制信号对所述子模块和所述子模块对应的参考子模型进行时序对齐;对所述子模块的输出信息与所述参考子模型的输出信息进行比对,得到验证结果。本发明实施例对待测设计中的子模块与参考子模型进行了时序对齐,可以避免待

(19)国家知识产权局

(12)发明专利申请

(10)申请公布号CN117725866A

(43)申请公布日2024.03.19

(21)申请号202410175555.3

(22)申请日2024.02.07

(71)申请人北京开源芯片研究院

地址100

文档评论(0)

1亿VIP精品文档

相关文档