Document
拖动滑块完成拼图
个人中心

预订订单
商城订单
发布专利 发布成果 人才入驻 发布商标 发布需求

请提出您的宝贵建议,有机会获取IP积分或其他奖励

投诉建议

在线咨询

联系我们

龙图腾公众号
首页 专利交易 IP管家助手 科技果 科技人才 积分商城 国际服务 商标交易 会员权益 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索
当前位置 : 首页 > 专利喜报 > 山东云海国创云计算装备产业创新中心有限公司李维杰获国家专利权

山东云海国创云计算装备产业创新中心有限公司李维杰获国家专利权

买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!

龙图腾网获悉山东云海国创云计算装备产业创新中心有限公司申请的专利一种硬件设计验证方法、装置及电子设备和存储介质获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN114218032B

龙图腾网通过国家知识产权局官网在2026-01-23发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202111445087.X,技术领域涉及:G06F11/26;该发明授权一种硬件设计验证方法、装置及电子设备和存储介质是由李维杰设计研发完成,并于2021-11-30向国家知识产权局提交的专利申请。

一种硬件设计验证方法、装置及电子设备和存储介质在说明书摘要公布了:本申请公开了一种硬件设计验证方法、装置及一种电子设备和计算机可读存储介质,该方法包括:确定目标硬件设计,并获取所述目标硬件设计的寄存器规范和测试序列规范;基于所述寄存器规范生成所述目标硬件设计的寄存器模型,基于所述测试序列规范生成所述目标硬件设计的测试序列;利用所述测试序列控制所述寄存器模型,以对所述目标硬件设计进行验证。本申请提供的硬件设计验证方法,对传统的验证平台进行改进,增加寄存器规范和测试序列规范,实现自动生成寄存器模型和测试序列,自动实现寄存器的约束和寄存器模型的随机化设置,提高了硬件设计验证效率。

本发明授权一种硬件设计验证方法、装置及电子设备和存储介质在权利要求书中公布了:1.一种硬件设计验证方法,其特征在于,包括: 确定目标硬件设计,并获取所述目标硬件设计的寄存器规范和测试序列规范;其中,基于状态机表示所述测试序列规范,所述状态机中的每个状态表示所述目标硬件设计中的功能块,所述状态中包含相关寄存器编程序列; 基于所述寄存器规范生成所述目标硬件设计的寄存器模型,基于所述测试序列规范生成所述目标硬件设计的测试序列; 确定所述目标硬件设计的验证环境对应的验证等级,基于所述验证等级选择对应层次的测试序列;其中,不同的验证环境对应不同的验证等级,不同的验证等级对应不同层次的测试序列,通过分层次的状态机的连接实现区分不同验证级别; 在配置数据库中配置所述目标硬件设计对应的配置对象;其中,配置对象包含各层次的寄存器模型,通过配置对象控制寄存器模型的随机化程度、配置所述寄存器模型中不同寄存器之间的约束; 利用所述测试序列控制所述寄存器模型,以对所述目标硬件设计进行验证; 其中,所述利用所述测试序列控制所述寄存器模型,包括: 在测试层建立所述测试序列与所述寄存器模型的链接,以利用所述测试序列控制所述寄存器模型中寄存器的读写操作和顺序。

如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人山东云海国创云计算装备产业创新中心有限公司,其通讯地址为:250001 山东省济南市自由贸易试验区济南片区浪潮路1036号浪潮科技园S01楼35层;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。