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

龙图腾网获悉杭州电子科技大学申请的专利一种硬件安全漏洞知识图谱辅助的Verilog安全代码生成方法及装置获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119558238B 。

龙图腾网通过国家知识产权局官网在2025-11-04发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411641143.0，技术领域涉及：G06F30/32；该发明授权一种硬件安全漏洞知识图谱辅助的Verilog安全代码生成方法及装置是由范舫豪;夏莹杰设计研发完成，并于2024-11-18向国家知识产权局提交的专利申请。

本一种硬件安全漏洞知识图谱辅助的Verilog安全代码生成方法及装置在说明书摘要公布了：本发明公开了一种硬件安全漏洞知识图谱辅助的Verilog安全代码生成方法及装置，该方法首先根据用户输入的硬件代码生成任务的自然语言描述，将硬件代码生成任务分解为若干子任务，提取信号、状态转换和电路代码示例。其次获取硬件安全漏洞数据，自顶向下构建硬件漏洞安全知识图谱。然后根据子任务的自然语言描述、信号、状态转换和电路代码示例生成Verilog代码。最后基于硬件漏洞安全知识图谱，对Verilog代码进行安全漏洞检测并修复安全漏洞，生成安全Verilog代码。本发明提升了硬件代码生成的效率和安全性，同时具备灵活性和扩展性，并降低了实施复杂性。

本发明授权一种硬件安全漏洞知识图谱辅助的Verilog安全代码生成方法及装置在权利要求书中公布了：1.一种硬件安全漏洞知识图谱辅助的Verilog安全代码生成方法，其特征在于，包括如下步骤： S1、根据用户输入的硬件代码生成任务的自然语言描述，将硬件代码生成任务分解为若干子任务； S2、从子任务的自然语言描述中提取信号、状态转换和电路代码示例； S3、获取硬件安全漏洞数据，自顶向下构建硬件漏洞安全知识图谱； S4、根据子任务的自然语言描述、信号、状态转换和电路代码示例生成Verilog代码，具体实现过程如下： 根据子任务自然语言描述和提取的子任务电路信号、状态转换和电路代码示例信息，大语言模型生成Verilog代码，基于生成的Verilog代码大语言模型调用语法检查、功能检查工具iverilog，编译并启动Verilog仿真，若Verilog代码存在语法错误或与子任务功能描述不一致，工具将报告这些错误发生的行数和仿真结果，并提供编译消息作和输出信号的不匹配数量及首次不匹配的时间点，作为调用工具的反馈；大语言模型根据所调用工具返回的语法、功能错误信息，修复语法错误、功能错误；重复以上过程，直到生成的Verilog代码没有语法错误且与子任务描述一致为止或达到设定迭代次数；整合子任务生成Verilog代码，获得语法功能正确的Verilog代码； S5、基于硬件漏洞安全知识图谱，对Verilog代码进行安全漏洞检测并修复安全漏洞，生成安全Verilog代码，具体实现过程为：通过代码检测方法检测语法功能正确的Verilog代码，获得Verilog代码硬件安全漏洞类型和漏洞所在位置信息，大语言模型根据代码检测方法的反馈信息调用图检索工具，大语言模型根据图检索工具从硬件安全漏洞知识图谱中获得的反馈信息修复漏洞，重复以上过程，直到生成的代码通过代码检测方法检测或达到设定的迭代次数，生成安全、语法正确和功能正确的Verilog代码； 所述图检索工具，是大语言模型生成检索硬件漏洞安全代码类型节点2跳内所有节点的Cypher语言，利用Cypher语言检索硬件安全漏洞知识图谱，返回对应硬件漏洞安全代码类型实体2跳内的所有子图节点信息；子图节点信息包括，硬件安全漏洞自然语言描述、修正的规范性指导和漏洞错误修复代码案例； 所述代码检测方法采用启发式检测算法遍历根据硬件安全漏洞的规则，构建Verilog抽象语法树，使用关键字遍历抽象语法树；关键词匹配规则包括匹配规则和排除规则；通过关键词匹配定位Verilog代码中的安全相关特征，若代码片段关键词与安全关键词不匹配，则将该代码片段标识为不安全，否则将该代码片段标识为安全； 所述构建Verilog抽象语法树具体实现为：遍历Verilog源代码，解释处理编译指令；采用词法分析器flex完成，识别支持的关键字和字面量，通过全局变量记录当前的代码位置，用于标注每个抽象语法树节点的来源位置；采用解析生成器bison完成，bison生成一个抽象语法树，每个抽象语法树节点都标注了代码中的来源位置，支持不同类型的Verilog语法和结构。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人杭州电子科技大学，其通讯地址为：310018 浙江省杭州市钱塘区白杨街道2号大街1158号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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