一种资源属性配码正确性的验证方法、装置、介质及设备制造方法及图纸

本发明专利技术提供了一种资源属性配码正确性的验证方法、装置、介质及设备，通过解析模块资源属性文件得到每个模块的模块名及资源属性值；从配码配置文件中找到与每个模块相对应的配码值生成命令，形成命令文件及命令文件列表；将所述命令文件路径地址及日志文件路径地址写到配码执行文件中；运行配码执行文件，将日志文件中的实际配码值与所述命令文件列表中的配码值进行比对，比对一致则配码正确，不一致则配码失败，将配码失败的电路工程及配码值写入结果文件中。通过使用软件验证的思想，实现了电路进行批量自动化验证，大量节省了验证时间，节约了测试人员的测试时间和精力，提高了配码验证的速度以及测试覆盖率。了配码验证的速度以及测试覆盖率。了配码验证的速度以及测试覆盖率。

【技术实现步骤摘要】
一种资源属性配码正确性的验证方法、装置、介质及设备


[0001]本专利技术属于可编程逻辑器件的

，尤其是涉及一种资源属性配码正确性的验证方法、装置、介质及设备。

技术介绍

[0002]FPGA EDA（Field－Programmable Gate Array Electronics Design Automation，现场可编程门阵列电子设计自动化）工具的主要功能是将具体的电路设计先转换为网表文件（网表文件是描述电路的连接关系的文件,一般是文本文件,简单的说就是把原理图翻译成了文本文件,文件会包含器件的标示,封装,连接关系,这个文件导入到PCB(Printed Circuit Board，印制电路板)编辑器里面,编辑器就会从封装库里面取出对应的封装,给予相应标示和连接关系），再对网表文件做后续的装箱，布局，布线，生成配码等处理流程，EDA工具对电路的处理流程如图1所示。
[0003]针对每个工程中每个模块的资源属性都需要进行配码配置，配码成功后相应的功能才会实现并且支行，配码失败，则配置的功能不起相应作用，但是每个属性值本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种资源属性配码正确性的验证方法，其特征在于，包括以下步骤：步骤1：解析模块资源属性文件得到文件中每个模块的模块名以及资源属性；步骤2：根据每个模块的模块名及资源属性从解析的配码配置文件中找到与每个模块相对应的配码值生成与每个模块相对应的命令，所有模块的命令形成命令文件以及命令文件列表，所述命令文件列表包括与每个模块相对应的命令及配码值；步骤3：将所述命令文件路径地址以及执行所述命令文件时生成的日志文件路径地址写到配码执行文件中；步骤4：运行配码执行文件，从所述日志文件路径地址中找到所述配码执行文件运行时生成的日志文件；步骤5：将日志文件中的实际配码值与所述命令文件列表中的配码值进行比对，比对一致则配码正确，不一致则配码失败，将配码失败的电路工程及配码值写入结果文件中。2.根据权利要求1所述的验证方法，其特征在于，步骤2中从配码配置文件中找到与每个模块相对应的配码值的方法是：步骤2.1：解析配码配置文件生成配码配置字典，所述配码配置字典包括模块名Module Name为KEY,包括每个模块名Module Name下的实例名Instance Name，资源属性名，资源属性值，以及与所述资源属性值对应的配码值；步骤2.2：根据每个模块的模块名以及资源属性名从所述配码配置字典中找到与模块名及资源属性名相对应的配码值。3.根据权利要求2所述的验证方法，其特征在于，在步骤1之前，还包括：步骤1'：读取存放电路路径及顶层实体名的CASE文件，根据CASE文件中的电路路径以及顶层实体名找到与电路路径和顶层实体相对应的电路装箱、布局、布线文件地址以及配码文件地址；步骤2'：判断所述电路装箱、布...

【专利技术属性】
技术研发人员：夏燕，徐维涛，
申请(专利权)人：中科亿海微电子科技苏州有限公司，
类型：发明
国别省市：