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

龙图腾网恭喜爱芯元智半导体股份有限公司申请的专利验证实例生成方法、装置、电子设备及存储介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN113850046B 。

龙图腾网通过国家知识产权局官网在2025-02-18发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202111055784.4，技术领域涉及：G06F30/398；该发明授权验证实例生成方法、装置、电子设备及存储介质是由索健;王正设计研发完成，并于2021-09-09向国家知识产权局提交的专利申请。

本验证实例生成方法、装置、电子设备及存储介质在说明书摘要公布了：本申请提出一种验证实例生成方法、装置、电子设备及存储介质，其中方法包括：针对验证环境中的每个类，配置所述类中的各个变量；针对验证环境中的每个实例，对实例需要的已配置的类进行加载处理，并对类中的变量进行约束配置处理；针对实例中的每个约束配置，对约束配置中的各个函数采用替代函数库中对应的替代函数进行替代处理，生成验证实例。该方法通过对验证环境中的实例需要的已配置的类进行约束配置处理，并对约束配置中的函数采用替代函数库中的函数进行替代，以生成验证实例。由此，可使生成的验证实例既满足复杂约束同时可提高验证平台中约束部分的性能，可对后期调试提供较高的便利性。

本发明授权验证实例生成方法、装置、电子设备及存储介质在权利要求书中公布了：1.一种验证实例生成方法，其特征在于，包括：针对芯片验证环境中的每个类，配置所述类中的各个变量；针对芯片验证环境中的每个实例，对所述实例需要的已配置的类进行加载处理，并对所述类中的变量进行约束配置处理；针对所述实例中的每个约束配置，对所述约束配置中的各个函数采用替代函数库中对应的替代函数进行替代处理，生成验证实例；所述针对芯片验证环境中的每个类，配置所述类中的各个变量，包括：针对芯片验证环境中的每个类，针对所述类中的每个变量，判断所述变量是否满足预设配置条件，其中，所述预设配置条件为所述变量可以根据所述类中的其他变量计算得到；在所述变量满足所述预设配置条件时，确定所述变量为目标变量；根据所述目标变量所定义的参数的位数要求，确定所述目标变量对应的配置类型；对所述类中的各个所述目标变量按照对应的配置类型进行配置。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人爱芯元智半导体股份有限公司，其通讯地址为：315200 浙江省宁波市庄市街道中官西路777号科创大厦17楼59室；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。