- 2
- 0
- 约2.63万字
- 约 22页
- 2024-03-20 发布于四川
- 举报
本发明实施例提供一种验证方法、装置、电子设备及可读存储介质,涉及计算机技术领域。该方法包括:将待测设计拆分为至少两个子模块;针对每个子模块进行建模,得到参考模型;所述参考模型包含所述待测设计中每个子模块对应的参考子模型;在每个时钟周期内对所述待测设计中的时序控制信号进行采样,并利用采样得到的时序控制信号对所述子模块和所述子模块对应的参考子模型进行时序对齐;对所述子模块的输出信息与所述参考子模型的输出信息进行比对,得到验证结果。本发明实施例对待测设计中的子模块与参考子模型进行了时序对齐,可以避免待
(19)国家知识产权局
(12)发明专利申请
(10)申请公布号CN117725866A
(43)申请公布日2024.03.19
(21)申请号202410175555.3
(22)申请日2024.02.07
(71)申请人北京开源芯片研究院
地址100
您可能关注的文档
- 一种液流储能新能源电池用直流汇流电路及汇流方法.pdf
- 基于工具栈的超级计算机控制方法、装置、设备和介质.pdf
- 高程调整方法、装置、设备、存储介质和计算机程序产品.pdf
- 一种光伏逆变器用防护设备.pdf
- 一种用于SVG无功补偿的制冷空调运行安全监管系统.pdf
- 一种用于电子招采辅助的金融风险预测方法及系统.pdf
- 精烧产品形貌检测与尺寸分析系统及方法.pdf
- 一种预碳化回转炉用的保温系统及其控制方法.pdf
- 双向拉伸聚酯薄膜用防粘结母料及其制备方法、双向拉伸聚酯薄膜.pdf
- 一种公路边坡位移预测方法.pdf
- 第4章第二节主动运输与胞吞胞吐2026年高一上学期生物人教版必修1.pptx
- 统编版二年级语文下册课件《阅读11 寓言二则》.pptx
- 基因指导蛋白质的合成+—2026学年高一下学期生物人教版必修2.pptx
- 统编版二年级语文下册课件《阅读12 画杨桃》.pptx
- 减数分裂-2025-2026学年高一下学期生物人教版必修2.pptx
- 2.2城镇化(教学课件)-2025-2026学年高中地理必修第二册(人教版2019).pptx
- 统编版二年级语文下册课件《阅读14 古诗二首》.pptx
- 增强儿童免疫力的感冒后护理.pptx
- 7.2 做全球发展的贡献者 课件-2025-2026学年高中政治统编版选择性必修一当代国际政治与经济.pptx
- 统编版二年级语文下册课件《阅读23 黄帝的传说》.pptx
原创力文档

文档评论(0)