[发明专利]一种跨时钟域验证方法、装置、设备及介质在审
| 申请号： | 202010988118.5 | 申请日： | 2020-09-18 |
| 公开（公告）号： | CN112131807A | 公开（公告）日： | 2020-12-25 |
| 发明（设计）人： | 邵海波;魏武超 | 申请（专利权）人： | 山东云海国创云计算装备产业创新中心有限公司 |
| 主分类号： | G06F30/331 | 分类号： | G06F30/331;G06F30/3312 |
| 代理公司： | 北京集佳知识产权代理有限公司 11227 | 代理人： | 巴翠昆 |
| 地址： | 250001 山东省济南市自由贸易试验*** | 国省代码： | 山东;37 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | |||
| 搜索关键词： | 一种 时钟 验证 方法 装置 设备 介质 | ||
1.一种跨时钟域验证方法，其特征在于，包括：
获取片上系统中目标模块的接口定义文件，其中，所述接口定义文件中包括基于跨时钟域设计定义的接口信号时序信息；
从所述接口定义文件中提取所述接口信号时序信息；
基于所述接口信号时序信息对所述目标模块的跨时钟域设计进行验证。
2.根据权利要求1所述的跨时钟域验证方法，其特征在于，所述基于所述接口信号时序信息对所述目标模块的跨时钟域设计进行验证，包括：
基于所述接口信号时序信息生成断言；
利用所述断言对所述目标模块的跨时钟域设计进行验证。
3.根据权利要求2所述的跨时钟域验证方法，其特征在于，所述利用所述断言对所述目标模块的跨时钟域设计进行验证，包括：
将所述断言绑定到仿真环境中，利用所述断言对所述目标模块的跨时钟域设计进行验证。
4.根据权利要求2所述的跨时钟域验证方法，其特征在于，所述利用所述断言对所述目标模块的跨时钟域设计进行验证，包括：
将所述断言绑定到形式验证环境中，利用所述断言对所述目标模块的跨时钟域设计进行验证。
5.根据权利要求4所述的跨时钟域验证方法，其特征在于，所述利用所述断言对所述目标模块的跨时钟域设计进行验证，包括：
利用所述断言产生所述目标模块对应的激励，并对所述目标模块的跨时钟域设计进行验证。
6.根据权利要求1所述的跨时钟域验证方法，其特征在于，所述基于所述接口信号时序信息对所述目标模块的跨时钟域设计进行验证，包括：
基于不同的所述目标模块对应的所述接口信号时序信息判断相应的所述目标模块是否满足预设连接条件。
7.根据权利要求6所述的跨时钟域验证方法，其特征在于，还包括：
若相应的所述目标模块满足所述预设连接条件，则在不同的所述目标模块之间建立连接。
8.一种跨时钟域验证装置，其特征在于，包括：
接口定义文件获取模块，用于获取片上系统中目标模块的接口定义文件，其中，所述接口定义文件中包括基于跨时钟域设计定义的接口信号时序信息；
信号时序信息提取模块，用于从所述接口定义文件中提取所述接口信号时序信息；
跨时钟域设计验证模块，用于基于所述接口信号时序信息对所述目标模块的跨时钟域设计进行验证。
9.一种跨时钟域验证设备，其特征在于，包括：
存储器，用于保存计算机程序；
处理器，用于执行所述计算机程序，以实现如权利要求1至7任一项所述的跨时钟域验证方法。
10.一种计算机可读存储介质，其特征在于，用于保存计算机程序，所述计算机程序被处理器执行时实现如权利要求1至7任一项所述的跨时钟域验证方法。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于山东云海国创云计算装备产业创新中心有限公司，未经山东云海国创云计算装备产业创新中心有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/pat/books/202010988118.5/1.html，转载请声明来源钻瓜专利网。
