基于关联规则的FPGA/IP核代码规则检查方法技术

本发明专利技术涉及一种基于关联规则的FPGA/IP核代码规则检查方法，涉及FPGA/IP核验证技术领域。本发明专利技术的方法效率高、自动化程度高。测试人员在使用代码规则检查工具针对代码完成初步的规则检查，得到违反工具内部语法规则的检查结果之后，即可利用自动化的数据分析脚本与关联规则进行匹配，对检查结果进行分析，给出代码存在缺陷情况的判断，而不需要人工对每一条工具结果进行详细的分析、判断。本发明专利技术的方法可靠性好。代码规则检查过程依赖于代码规则检查工具以及已确认的代码缺陷数据，仅在最后一步经过测试人员的人工确认，尽可能避免引入人为操作，有效减少了因测试人员水平有限、精力不足等人为因素导致的缺陷误报、漏报情况，得到更可靠的代码规则检查结果。

【技术实现步骤摘要】
基于关联规则的FPGA/IP核代码规则检查方法
本专利技术涉及FPGA/IP核验证
，具体涉及一种基于关联规则的FPGA/IP核代码规则检查方法。
技术介绍
现场可编程门阵列(FieldProgrammableGateArray，FPGA)设计过程中采用硬件描述语言(HardwareDescriptionLanguage，HDL)所编写的寄存器传输级(Register-TransferLevel，RTL)代码，由于设计人员技术水平有限、开发经验欠缺等因素，导致RTL代码中存在设计缺陷的情况往往难以避免，这将会导致预期的设计无法完全实现，影响FPGA系统功能。为了尽早地发现代码中存在的缺陷，降低后续进行故障排查的时间与经济成本，在RTL代码编写阶段进行代码规则检查是有效手段之一。代码规则检查主要是依据既定的代码规则，针对代码的版面书写规范性、可综合性、可重用性以及时钟和复位设计规范性等方面进行检查，而其中采用的规则多是从FPGA设计工作中总结并制定的规范性要求。目前常见的代码规则检查方法包括代码走查和工具检查两种方法：(1)代码走查代码走查是测试人员采用人工方式审查代码，期望发现本文档来自技高网...

【技术保护点】
1.一种基于关联规则的FPGA/IP核代码规则检查方法，其特征在于，包括以下步骤：步骤(1)、关联规则挖掘的数据准备关联规则挖掘的数据对象根据代码规则检查工具的检查结果以及经由测试人员分析确认后的代码缺陷信息生成；代码规则检查工具的检查结果来自代码规则检查工具输出的txt或csv文件，其中代码规则检查工具输出文件的每一条记录，代表代码规则检查工具在代码中检查到了一次违反语法规则的情况，代码缺陷信息则通过测试人员整理已测试项目中确定的代码缺陷数据，逐个确定缺陷所对应的被测项目编号、缺陷所在代码文件名称、缺陷所在代码行号和缺陷类型，并写入xls格式的表格文件中；将所述xls文件与代码规则检查工具输...

【技术特征摘要】
1.一种基于关联规则的FPGA/IP核代码规则检查方法，其特征在于，包括以下步骤：步骤(1)、关联规则挖掘的数据准备关联规则挖掘的数据对象根据代码规则检查工具的检查结果以及经由测试人员分析确认后的代码缺陷信息生成；代码规则检查工具的检查结果来自代码规则检查工具输出的txt或csv文件，其中代码规则检查工具输出文件的每一条记录，代表代码规则检查工具在代码中检查到了一次违反语法规则的情况，代码缺陷信息则通过测试人员整理已测试项目中确定的代码缺陷数据，逐个确定缺陷所对应的被测项目编号、缺陷所在代码文件名称、缺陷所在代码行号和缺陷类型，并写入xls格式的表格文件中；将所述xls文件与代码规则检查工具输出的检查结果文件一同输入到数据处理脚本，脚本依次读取所输入的文件，并进行逐行扫描，从代码规则检查工具检查结果中提取每条检查记录的数据信息，包括当前被测项目编号、检查记录所在代码文件名称、代码行号、违反语法规则名称；从代码缺陷数据中提取被测项目编号、缺陷所在代码文件名称、缺陷所在代码行号和缺陷类型；将被测项目编号、代码文件名称、代码行号三个数据属性作为定位信息，数据处理脚本扫描所输入的文件后，以定位信息是否相同作为判断条件，将代码规则检查工具检查结果与代码缺陷数据进行交叉连接；连接生成的数据集中仅保留来自不同代码规则检查工具检查结果的违反语法规则名称属性以及来自代码缺陷数据的缺陷类型属性，并将保留的数据作为关联规则挖掘的数据对象；将代码...

【专利技术属性】
技术研发人员：李东方，王志昊，陈丽容，沈炜，王晓龙，王宏，朱秋岩，胡亚云，王纪，叶东升，吴超，张建伟，宋珺，
申请(专利权)人：北京计算机技术及应用研究所，
类型：发明
国别省市：北京,11