CN114707452B 一种基于协程的数字仿真验证方法、设备和存储介质 （芯华章科技股份有限公司）.docxVIP

(19)国家知识产权局

(12)发明专利

(10)授权公告号CN114707452B(45)授权公告日2025.07.01

(21)申请号202210426385.2

(22)申请日2022.04.22

(65)同一申请的已公布的文献号申请公布号CN114707452A

(43)申请公布日2022.07.05

(73)专利权人芯华章科技股份有限公司

地址211899江苏省南京市中国(江苏)自

由贸易试验区南京片区团结路99号孵鹰大厦1840室

(72)发明人王宏涛李小明李子扬

(74)专利代理机构福州科扬专利事务所(普通合伙)35001

专利代理师郭梦羽

(51)Int.CI.

GO6F30/33(2020.01)

GO6F9/54(2006.01)

GO6F9/48(2006.01)

GO6F9/50(2006.01)

(56)对比文件

CN110445669A,2019.11.12

CN112560377A,2021.03.26

审查员肖逸菲

权利要求书2页说明书6页附图6页

(54)发明名称

一种基于协程的数字仿真验证方法、设备和存储介质

(57)摘要

CN114707452B本发明涉及一种基于协程的数字仿真验证方法、设备和存储介质，其中方法包括以下步骤：搭建仿真平台和验证平台，并建立仿真平台与验证平台间的数据通道；基于数字设计，确认相关联的仿真任务和验证任务；根据仿真任务在仿真平台中生成仿真协程，根据验证任务在验证平台中生成验证协程，并基于相关联的仿真任务和验证任务对仿真协程和验证协程进行关联；基于数字设计的推进程序，同步运行关联的仿真协程以及验证协程，通过仿真平台与验证平台间的数据通道进行仿真协程以及验证协程的数据传输，完成数字设计的仿真及验证；本发明通过协程实现数字设计的仿真平台和验证平台之间同步运行

CN114707452B

搭建仿真平台和验证平台，并建立他们之间的数据通道

搭建仿真平台和验证平台，并建立他们之间的数据通道

基于数字设计，确认相关联的仿真任务和验证任务

对应仿真任务在仿真平台中生成仿真协程，对应验证任务在验证平台中生成验证协程，并对仿真协程和验证协程进行关联

基于数字设计的推进程序，同步运行关联的仿真协程以及验证协程,完成数字设计的仿真及验证

摘要附图为说明书附图中的图2

CN114707452B权利要求书1/2页

2

1.一种基于协程的数字仿真验证方法，其特征在于，包括以下步骤：

搭建仿真平台和验证平台，并建立仿真平台与验证平台间的数据通道；

基于数字设计，确认相关联的仿真任务和验证任务；

根据仿真任务在仿真平台中生成仿真协程，根据验证任务在验证平台中生成验证协程，并基于相关联的仿真任务和验证任务对仿真协程和验证协程进行关联；

基于数字设计的推进程序，同步运行关联的仿真协程以及验证协程，通过仿真平台与验证平台间的数据通道进行仿真协程以及验证协程的数据传输，完成数字设计的仿真及验

证。

2.根据权利要求1所述的一种基于协程的数字仿真验证方法，其特征在于，所述基于数字设计的推进程序，同步运行关联的仿真协程以及验证协程，通过仿真平台与验证平台间的数据通道进行仿真协程以及验证协程的数据传输的步骤具体为：

基于数字设计的推进程序，运行仿真协程；

仿真协程运行后，仿真平台给予数字设计一输入数据；

挂起仿真协程并切换至与运行的仿真协程相关联的验证协程，验证平台对该验证协程注入激励，并采样仿真平台的数字设计的输出数据，对输出数据进行验证，得到验证结果，并在得到验证结果后切换回仿真协程；

仿真协程根据验证结果进行逻辑仿真计算。

3.根据权利要求2所述的一种基于协程的数字仿真验证方法，其特征在于：

基于所述仿真任务生成仿真子任务，当存在多个仿真子任务时，对应多个仿真子任务生成排序关系；对应一个仿真子任务生成一个仿真协程；

基于所述验证任务生成验证子任务，当存在多个验证子任务时，对应多个验证子任务生成排序关系；对应一个验证子任务生成一个验证协程。

4.根据权利要求3所述的一种基于协程的数字仿真验证方法，其特征在于：

在运行仿真协程时，根据仿真子任务的排序关系，选择排序第一的仿真子任务对应的仿真协程运行；

在该仿真协程运行结束后，等待下一次数字设计的推进程序的运行指令，继续选择排序靠后的仿真子任务对应的仿真协程运行，直至所有仿真子任务对应的仿真协程运行完毕。

5.根据权利要求3