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

龙图腾网获悉上海砹芯科技有限公司申请的专利基于生成式约束模型的芯片验证系统、方法及验证设备获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN116992805B 。

龙图腾网通过国家知识产权局官网在2025-07-18发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202310962772.2，技术领域涉及：G06F30/331；该发明授权基于生成式约束模型的芯片验证系统、方法及验证设备是由赵立敏;李林岳;王煜华;杨笑冰;李春信设计研发完成，并于2023-08-01向国家知识产权局提交的专利申请。

本基于生成式约束模型的芯片验证系统、方法及验证设备在说明书摘要公布了：本申请提供一种基于生成式约束模型的芯片验证系统、方法及验证设备，该系统的模型生成模块在获取文本形式的测试用例后，通过解析测试用例，确定生成式约束模型，该模型包括对芯片的待测试功能进行测试时的约束条件及执行待测试功能的寄存器的寄存器配置数值；寄存器配置模块根据约束条件将寄存器配置数值配置至寄存器，以便芯片设计模块执行待测试功能；数据传输模块接收执行待测试功能后的结果，对分模块比对该结果与标准结果，整个仿真过程运行在硬件加速器上，运行结束后生成仿真报告。通过本申请可实现对芯片功能的测试，且应用的测试用例为文本形式，无需编译代码即可获取测试用例，提升获取测试用例的效率，相应提高了芯片验证的效率。

本发明授权基于生成式约束模型的芯片验证系统、方法及验证设备在权利要求书中公布了：1.一种基于生成式约束模型的芯片验证系统，其特征在于，所述系统运行于硬件加速器中，所述系统包括： 模型生成模块、寄存器配置模块、数据传输模块和对分模块； 所述模型生成模块用于在获取文本形式的测试用例之后，通过对所述测试用例进行解析，生成所述测试用例对应的生成式约束模型，所述生成式约束模型包括对芯片的待测试功能进行测试时对应的约束条件，以及执行所述待测试功能的寄存器对应的寄存器配置数值； 所述寄存器配置模块用于根据所述约束条件将寄存器配置数值配置至所述寄存器中，以便所述寄存器根据所述寄存器配置数值执行所述待测试功能； 所述数据传输模块用于接收所述寄存器执行所述待测试功能后的结果； 所述对分模块用于将所述数据传输模块接收的结果与标准结果进行比对，以便所述硬件加速器根据比对结果生成仿真报告； 其中，所述模型生成模块包括： 测试用例解析组件、模型确定组件和模型激活组件； 所述测试用例解析组件用于对文本形式的所述测试用例进行解析，获取相应的解析信息，所述解析信息包括所述生成式约束模型的对应参数和所述寄存器配置数值，所述对应参数包括所述生成式约束模型中各节点对应的约束条件； 所述模型确定组件用于根据所述生成式约束模型的对应参数，确定所述生成式约束模型的架构； 所述模型激活组件用于对所述架构配置所述寄存器数值，并通过对配置后的所述架构进行随机化处理，确定所述生成式约束模型。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人上海砹芯科技有限公司，其通讯地址为：201210 上海市浦东新区中国（上海）自由贸易试验区张江路505号1幢5楼04，05单元；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。