(19)国家知识产权局 (12)发明 专利申请 (10)申请公布号 (43)申请公布日 (21)申请 号 202210426385.2 (22)申请日 2022.04.22 (71)申请人 瞬曜电子科技 （上海） 有限公司 地址 201204 上海市浦东 新区中国(上海) 自由贸易试验区盛夏路570号1幢204 室 (72)发明人 王宏涛　李小明　李子扬　 (74)专利代理 机构 福州科扬专利事务所(普通 合伙) 35001 专利代理师 郭梦羽 (51)Int.Cl. G06F 30/33(2020.01) G06F 9/54(2006.01) G06F 9/48(2006.01) G06F 9/50(2006.01) (54)发明名称 一种基于协程的数字仿 真验证方法、 设备和 存储介质 (57)摘要 本发明涉及一种基于协程的数字仿真验证 方法、 设备和存介质， 其中方法包括以下步骤： 搭 建仿真平台和验证平台， 并建立仿真平台与验证 平台间的数据通道； 基于数字设计， 确认相关联 的仿真任务和验证任务； 根据仿真任务在仿真平 台中生成仿真协程， 根据验证任务在验证平台中 生成验证协程， 并基于相关联的仿真任务和验证 任务对仿真协程和验证协程进行关联； 基于数字 设计的推进程序， 同步运行关联的仿真协程以及 验证协程， 通过仿真平台与验证平台间的数据通 道进行仿真协程以及验证协程的数据传输， 完成 数字设计的仿真及验证； 本发明通过协程实现数 字设计的仿真平台和验证平台之间同步运行和 切换， 实现轻量化的数字设计的仿真和验证任务 的同步。 权利要求书2页 说明书6页 附图6页 CN 114707452 A 2022.07.05 CN 114707452 A 1.一种基于协程的数字 仿真验证方法， 其特 征在于， 包括以下步骤： 搭建仿真平台和验证平台， 并建立仿真平台与验证平台间的数据通道； 基于数字设计， 确认相关联的仿真任务和验证任务； 根据仿真任务在仿真平台中生成仿真协程， 根据验证任务在验证平台中生成验证协 程， 并基于相关联的仿真任务和验证任务对仿真协程和验证协程进行关联； 基于数字设计的推进程序， 同步运行关联的仿真协程以及验证协程， 通过仿真平台与 验证平台间的数据通道进 行仿真协程以及验证协程的数据传输， 完成数字 设计的仿 真及验 证。 2.根据权利要求1所述的一种基于协程的数字仿真验证方法， 其特征在于， 所述基于数 字设计的推进程序， 同步运行关联的仿真协程以及验证协程， 通过仿真平台与验证平台间 的数据通道进行仿真协程以及验证协程的数据传输的步骤具体为： 基于数字设计的推进程序， 运行仿真协程； 仿真协程 运行后， 仿真平台给予数字设计一输入数据； 挂起仿真协程并切换至与运行的仿真协程相关联的验证协程， 验证平台对该验证协程 注入激励， 并采样仿真平台的数字设计的输出数据， 对输出数据进行验证， 得到验证结果， 并在得到验证结果后切换回仿真协程； 仿真协程 根据验证结果进行逻辑仿真计算。 3.根据权利要求2所述的一种基于协程的数字 仿真验证方法， 其特 征在于： 基于所述仿真任务生成仿真子任务， 当存在多个仿真子任务时， 对应多个仿真子任务 生成排序关系； 对应一个仿真子任务 生成一个仿真协程； 基于所述验证任务生成验证子任务， 当存在多个验证子任务时， 对应多个验证子任务 生成排序关系； 对应一个验证子任务 生成一个验证协程。 4.根据权利要求3所述的一种基于协程的数字 仿真验证方法， 其特 征在于： 在运行仿真协程时， 根据仿真子任务的排序关系， 选择排序第一的仿真子任务对应的 仿真协程 运行； 在该仿真协程运行结束后， 等待下一次数字设计的推进程序的运行指令， 继续选择排 序靠后的仿真子任务对应的仿真协程运行， 直至所有仿真子任务对应的仿真协程运行完 毕。 5.根据权利要求3所述的一种基于协程的数字仿真验证方法， 其特征在于， 当一个仿真 子任务关联的验证任务存在多个验证子任务时， 在所述挂起仿 真协程并切换至与运行的仿 真协程相关联的验证协程 步骤中： 根据与该仿真子任务所关联的验证任务生成的多个验证子任务对应的多个验证协程 的排序关系， 首先切换至排序第一的验证协程， 排序第一的验证协程运行完毕后再切换至 排序靠后的验证协程， 直至各验证子任务对应的各验证协程均运行结束， 切换回仿真子任 务对应的仿真协程。 6.根据权利要求1所述的一种基于协程的数字 仿真验证方法， 其特 征在于： 所述推进程序为数字时钟程序； 在数字时钟程序的每个时钟周期的上升沿或下降沿同步运行关联的仿真协程以及验 证协程。权　利　要　求　书 1/2 页 2 CN 114707452 A 27.一种电子设备， 包括存储器、 处理器及存储在存储器上并可在处理器上运行的计算 机程序， 其特征在于： 所述处理器执行所述程序时实现如权利要求1至6任一项所述的基于 协程的数字 仿真验证方法。 8.一种计算机可读存储介质， 其上存储有计算机程序， 其特征在于： 该程序被处理器执 行时实现如权利要求1至 6任一项所述的基于协程的数字 仿真验证方法。权　利　要　求　书 2/2 页 3 CN 114707452 A 3