北京开源芯片研究院刘锦程获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉北京开源芯片研究院申请的专利硬件验证方法、装置、电子设备及可读存储介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119862827B 。
龙图腾网通过国家知识产权局官网在2025-07-11发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202510350609.X，技术领域涉及：G06F30/33；该发明授权硬件验证方法、装置、电子设备及可读存储介质是由刘锦程;唐丹;包云岗设计研发完成，并于2025-03-24向国家知识产权局提交的专利申请。
本硬件验证方法、装置、电子设备及可读存储介质在说明书摘要公布了：本发明实施例提供了一种硬件验证方法、装置、电子设备及可读存储介质。该方法包括：通过基于待验证硬件的待验证引脚，生成第一异步函数以及第二异步函数；第一异步函数用于读写待验证引脚，第二异步函数用于获取待验证引脚的输出信号并输出；通过第一异步函数以及第二异步函数，构建模型代码；通过模型代码对待验证引脚进行验证。这样，本发明实施例通过为待验证引脚生成两类异步函数，可以将引脚的硬件操作建模为了软件中的简洁异步函数接口，使得软件编程人员能够更容易开始硬件验证过程，并能够更好地与软件测试技术将结合。可以将针对硬件行为的验证建模为软件验证，无需采用硬件描述和验证语言，通过软件中的异步函数提高硬件验证的效率。
本发明授权硬件验证方法、装置、电子设备及可读存储介质在权利要求书中公布了：1.一种硬件验证方法，其特征在于，所述方法包括： 基于待验证硬件的各待验证引脚的类型，对所述各待验证引脚进行分组，得到至少一个引脚组； 针对任一所述引脚组，为所述引脚组包含的待验证引脚生成对应的第一异步函数以及第二异步函数；所述第一异步函数用于读写所述待验证引脚，所述第二异步函数用于获取所述待验证引脚的输出信号并输出；所述第一异步函数以及所述第二异步函数通过软件编程语言实现； 针对任一所述引脚组，为所述引脚组创建类，作为所述引脚组对应的待验证类； 采用预设装饰器分别对所述引脚组对应的第一异步函数以及所述第二异步函数进行声明，并将声明后的第一异步函数以及第二异步函数分别作为所述引脚组对应的驱动函数以及监测函数； 在所述待验证类中添加所述驱动函数以及所述监测函数，并使所述待验证类继承预设的基类，得到所述引脚组对应的模型代码； 通过所述模型代码对所述待验证引脚进行验证。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人北京开源芯片研究院，其通讯地址为：100084 北京市海淀区海淀大街31号3层312；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号