CN111400992A

CN111400992A - 一种自动化验证装箱布局布线的测试方法及系统

Info

Publication number: CN111400992A
Application number: CN202010130480.9A
Authority: CN
Inventors: 夏燕; 徐维涛
Original assignee: Ehiway Microelectronic Technology Suzhou Co ltd
Current assignee: Ehiway Microelectronic Technology Suzhou Co ltd
Priority date: 2020-02-26
Filing date: 2020-02-26
Publication date: 2020-07-10

Abstract

一种自动化验证装箱布局布线的测试方法及装置，能够对电路工程进行批量的自动化验证，可以大大节约测试人员的测试时间，可以提高后台验证的测试覆盖率。方法包括：(1)读取CASE文件，拼出电路工程地址，判断该电路是否执行成功，如果执行成功则执行步骤(2)，否则读取下一条CASE文件进行判断；(2)解析网表文件，对解析网表文件生成的两个字典分别解析；(3)解析装箱、布局、布线文件，生成对应的装箱、布局字典；(4)设置规则文件；(5)读取规则文件中规则的设置，判断是否进行校验，如果是则进行底层各种装箱约束的校验、布局布线的校验以及属性的校验。

Description

一种自动化验证装箱布局布线的测试方法及系统

技术领域

本发明涉及可编程逻辑器件的技术领域，尤其涉及一种自动化验证装箱布局布线的测试方法，以及一种自动化验证装箱布局布线的测试系统。

背景技术

FPGA EDA(Field－Programmable Gate Array Electronics DesignAutomation，现场可编程门阵列电子设计自动化)工具的主要功能是将具体的电路设计先转换为网表文件(网表文件是描述电路的连接关系的文件,一般是文本文件,简单的说就是把原理图翻译成了文本文件,文件会包含器件的标示,封装,连接关系,这个文件导入到PCB(Printed Circuit Board，印制电路板)编辑器里面,编辑器就会从封装库里面取出对应的封装,给予相应标示和连接关系)，再对网表文件做后续的装箱，布局，布线，生成配码等处理流程，EDA工具对电路的处理流程如图1所示。

由于网表文件中生成的信号及CLB很多，并且其中有很多关联关系，测试人员如果进行手工验证，需要先从网表文件中找出一个信号，并且记录这个信号分别经过哪些CLB，并且在不同CLB中的端口是什么，坐标是什么，经过每个CLB的属性是什么，再到装箱布局布线的XML(Extensible Markup Language，可扩展标记语言)中找到对应的信号名进行结果比对，这种情况只是比对了网表文件中的一个信号的一种校验，但是一个网表文件中通常有成百上千个信号，并且装箱、布局和布线的校验点非常多，如果测试人员用这种方式验证将会消耗大量时间，而且测试人员经过长时间也无法校验完一个电路的一个网表文件。

发明内容

为克服现有技术的缺陷，本发明要解决的技术问题是提供了一种自动化验证装箱布局布线的测试方法，其能够对电路工程进行批量的自动化验证，可以大大节约测试人员的测试时间，可以提高后台验证的测试覆盖率。

本发明的技术方案是：这种自动化验证装箱布局布线的测试方法，其包括以下步骤：

(1)读取电路CASE文件，拼出电路工程地址，判断该电路是否执行成功，如果执行成功则执行步骤(2)，否则读取下一条CASE文件进行判断；

(2)解析网表文件，对解析网表文件生成的两个字典分别解析；

(3)解析装箱、布局、布线文件，生成对应的装箱、布局字典；

(4)设置规则文件；

(5)读取规则文件中规则的设置，判断是否进行校验，如果是则进行底层各种装箱约束的校验、布局布线的校验以及属性的校验。

本发明通过读取CASE文件获取执行CASE的路径，进行每条CASE，每个电路的网表文件及装箱布局布线文件的解析，再通过存放规则的配置文件，进行相应的校验，这样能够对电路工程进行批量的自动化验证，可以大大节约测试人员的测试时间，并且可以提高后台验证的测试覆盖率。

还提供了一种自动化验证装箱布局布线的测试系统，其包括：

CASE文件读取模块，其配置来读取CASE文件，拼出电路工程地址，判断该电路是否执行成功，如果执行成功则执行网表文件解析模块，否则读取下一条CASE文件进行判断；

网表文件解析模块，其配置来对解析网表文件生成的两个字典分别解析；

装箱、布局、布线文件解析模块，其配置来解析装箱、布局、布线文件，生成对应的装箱、布局字典；

规则文件设置模块，其配置来设置规则文件；

校验模块，其配置来读取规则文件中规则的设置，判断是否进行校验，如果是则进行底层各种装箱约束的校验、布局布线的校验以及属性的校验。

附图说明

图1示出了EDA工具对电路的处理流程。

图2示出了根据本发明的自动化验证装箱布局布线的测试方法的流程图。

图3示出了根据本发明的自动化验证装箱布局布线的测试方法的步骤(1)的流程图。

图4示出了根据本发明的自动化验证装箱布局布线的测试方法的步骤(4)的流程图。

具体实施方式

如图2所示，这种自动化验证装箱布局布线的测试方法，其包括以下步骤：

(4)设置规则文件；

CASE文件中存放电路路径及顶层实体名，读取该文件，拼出电路工程地址，判断该电路是否执行成功，如果生成了相应的网表文件及装箱、布局布线文件，则进行下面操作，如果不存在这些文件，说明这个电路工程没有生成相应的网表或者装箱布局布线文件，则不进行校验，取下一条CASE的值进行判断，具体如图3所示。

优选地，所述步骤(2)中，一个字典是以信号SIGNAL为钥匙KEY，里面存放这个SIGNAL经过的所有CLB(Configurable Logic Block，可配置逻辑模块)的名字、CLB的编号、坐标、端口、是否为起点标识、所处位数；在BLE(Basic Logic Element，基本逻辑单元),DSP(Digital Signal Processor，数字信号处理器),Memory(存储器),锁相环PLL中时，CLB名字直接获取网表中的CLB名字，但在IO(Input and Output，输入输出)中获取CLB名字并非网表文件中的CLB名字，而是PADIO(Pad I/O source/output，端口名，表示物理pad的I/O)端口中的信号名作为该信号的CLB名字，CLB的编号以及坐标根据实际取的CLB名字查找；在网表文件中，对于一些OUTPUT信号，最后是指派出去的，则为这些信号添加CLB名字为IO，端口设为DATAIN(端口名，表示数据进入到I/O中)；如果该信号在某个CLB中的端口为寄存器输出或者组合输出，则设是否为起点标识为1，否则为0；同一个端口中可能会存在多个信号，则为这些信号从高到低位排列顺序，序号从0开始，如果只有一个信号，则所处位数设为0。

优选地，所述步骤(2)中，对于一个信号经过不同CLB的情况，对其经过的CLB中的端口进行判断并进行排序，将端口为寄存器输出或者组合输出排在第一位，其余后面的位置不变，这样方便后续校验直接识别第一个为输出。

示例如下：

{'SIGNAL_NAME1':[{CLB_NAME1':['TYPE','CLB_NUMBER','LOCATION','PORT','IS_SOURCE_FLAG','WIDTH_NO']},{'CLB_NAME2':['TYPE','CLB_NUMBER','LOCATION','PORT','IS_SOURCE_FLAG','WIDTH_NO']}],'SIGNAL_NAME2':[{'CLB_NAME1':['TYPE','CLB_NUMBER','LOCATION','PORT','IS_SOURCE_FLAG','WIDTH_NO']},{'CLB_NAME2':['TYPE','CLB_NUMBER','LOCATION','PORT','IS_SOURCE_FLAG','WIDTH_NO']}]......}。

优选地，所述步骤(2)中，另一个字典是以CLB名字为钥匙key，里面存放这个CLB下的类型、CLB的编号、坐标、端口、信号、是否取反标识及属性；其中类型，CLB的编号及坐标为该CLB的属性，端口为该CLB下的所有端口，并且存放每个端口所对应的信号，一个端口有多个信号，则存放多个，由于涉及信号取反问题，给每个信号添加一个取反标志，如果有取反则标志为1，否则为0；CLB的属性通过网表文件获取，将属性名为KEY，属性取值为value存储。

示例如下：

{'CLB_NAME1':['TYPE','CLB_NUMBER','LOCATION',{'Ports':{'PORT1':['SIGNAL1':'IS_ALT_FLAG'],'PORT2':['SIGNAL2':'IS_ALT_FLAG'],'PORT3':['SIGNAL3':'IS_ALT_FLAG']......}},{'ATTRIBUTE1':'VALUE1','ATTRIBUTE2':'VALUE2'......}],'CLB_NAME2':['TYPE','CLB_NUMBER','LOCATION',{'Ports':{'PORT1':['SIGNAL1':'IS_ALT_FLAG'],'PORT2':['SIGNAL2':'IS_ALT_FLAG'],'PORT3':['SIGNAL3':'IS_ALT_FLAT']......}},{'ATTRIBUTE1':'VALUE1','ATTRIBUTE2':'VALUE2'......}]}。

优选地，所述步骤(3)中，解析其所生成的XML文件，以CLB名字为KEY,里面存放坐标及装在一起的BLE，每个BLE的属性以及装箱布局之后这个CLB的属性，如果为DSP、MEM(Memory，存储器)或者IO，也是同理生成在这个字典中。

示例如下：

{'CLB_NUMBER1':['LOCATION',{'BLE1':['TYPE','LOC_S',{'ATTRIBUTE1':'VALUE1','ATTRIBUTE2':'VALUE2'......}],'BLE2':['TYPE','LOC_S',{'ATTRIBUTE1':'VALUE1','ATTRIBUTE2':'VALUE2'......}]},{'CLB_ATTRIBUTE':{'CLB_ATTRIBUTE1':'VALUE1','CLB_ATTRIBUTE2':'VALUE2'......}],'CLB_NUMBER2':['LOCATION',{'BLE1':['TYPE','LOC_S',{'ATTRIBUTE1':'VALUE1','ATTRIBUTE2':'VALUE2'......}],'BLE2':['TYPE','LOC_S',{'ATTRIBUTE1':'VALUE1','ATTRIBUTE2':'VALUE2'......}]},{'CLB_ATTRIBUTE':{'CLB_ATTRIBUTE1':'VALUE1','CLB_ATTRIBUTE2':'VALUE2'......}]}。

优选地，所述步骤(3)中，生成布线文件，以信号SIGNAL为KEY，将这个信号的起点到终点经过的路径存放在字典中。

示例如下：

{SIGNAL_NAME1:[{ROOT_LABEL:{LABEL1:[LOCATION,MODULE_NAME,INSTANCE_NAME,IN_PORT,OUT_PORT],LABEL2:[LOCATION,MODULE_NAME,INSTANCE_NAME,IN_PORT,OUT_PORT]}},{BRANCH_LABEL:{LABEL1:[LOCATION,MODULE_NAME,INSTANCE_NAME,IN_PORT,OUT_PORT],LABEL2:[LOCATION,MODULE_NAME,INSTANCE_NAME,IN_PORT,OUT_PORT]......}]}。

优选地，如图4所示，所述步骤(4)中，将所需要校验的规则按类型整理归类进规则文件中，存放规则校验的内容及是否需要校验两个字段，解析成功后，后续进行规则的校验时需要读取这个文件，如果这个规则需要校验，则设为Y，如果不需要校验，则设为N。

优选地，所述步骤(5)中，读取规则文件中该规则的设置，如果为Y，则进行校验，如果为N，则不进行校验；每个校验的基础都是步骤(2)、(3)解析出来的字典。比如进行布线终点的校验，校验实际的终点与布线结果中的终点个数是否一致，如果不一致，则说明布线中可能存在少布了某个信号的情况；进行布局校验，查看布局时每个模块是否都放在了自己相应的位置上，比如IO需要放在该器件中IO的那些位置，DSP应该放在DSP的位置，Memory,BLE及PLL同理；并且可以校验在网表文件中的CLB属性，经常一系列装箱布局布线后，该CLB的属性发生的变化是否正确；依次类推，可以通过里面各种关联组合，进行底层各种装箱约束的校验，布局及布线的校验以及属性的校验。

本领域普通技术人员可以理解，实现上述实施例方法中的全部或部分步骤是可以通过程序来指令相关的硬件来完成，所述的程序可以存储于一计算机可读取存储介质中，该程序在执行时，包括上述实施例方法的各步骤，而所述的存储介质可以是：ROM/RAM、磁碟、光盘、存储卡等。因此，与本发明的方法相对应的，本发明还同时包括一种自动化验证装箱布局布线的测试系统，该系统通常以与方法各步骤相对应的功能模块的形式表示。该系统包括：

规则文件设置模块，其配置来设置规则文件；

本发明能有效提高FPGA软件的测试效率，对测试人员来说更加便捷，降低了在各种文件中查找不同数据以及比对的繁杂过程，并且本发明具有很强的可移植性，对于不同器件的测试，同样适用，并且对于其他底层脚本或者界面自动化脚本，均可直接调用执行；另外后期维护方便，添加校验只需要直接添加脚本判断即可，因为原有数据已经全部列出。

以上所述，仅是本发明的较佳实施例，并非对本发明作任何形式上的限制，凡是依据本发明的技术实质对以上实施例所作的任何简单修改、等同变化与修饰，均仍属本发明技术方案的保护范围。

Claims

1.一种自动化验证装箱布局布线的测试方法，其特征在于：其包括以下步骤：

(4)设置规则文件；

2.根据权利要求1所述的自动化验证装箱布局布线的测试方法，其特征在于：所述步骤(1)包括以下分步骤：

(1.1)读取CASE文件中存放的电路路径及顶层实体名；

(1.2)拼接电路网表文件、装箱、布局、布线文件地址；

(1.3)判断步骤(1.2)中的文件是否存在，是则执行步骤(2)，否则执行步骤(1.1)。

3.根据权利要求2所述的自动化验证装箱布局布线的测试方法，其特征在于：所述步骤(2)中，一个字典是以信号SIGNAL为钥匙KEY，里面存放这个信号经过的所有CLB的名字、CLB的编号、坐标、端口、是否为起点标识、所处位数；在BLE,DSP,Memory,PLL中时，CLB名字直接获取网表中的CLB名字，但在IO中获取CLB名字并非网表文件中的CLB名字，而是PADIO端口中的信号名作为该信号的CLB名字，CLB的编号以及坐标根据实际取的CLB名字查找；在网表文件中，对于一些OUTPUT信号，最后是指派出去的，则为这些信号添加CLB名字为IO，端口设为DATAIN；如果该信号在某个CLB中的端口为寄存器输出或者组合输出，则设是否为起点标识为1，否则为0；同一个端口中可能会存在多个信号，则为这些信号从高到低位排列顺序，序号从0开始，如果只有一个信号，则所处位数设为0。

4.根据权利要求3所述的自动化验证装箱布局布线的测试方法，其特征在于：所述步骤(2)中，对于一个信号经过不同CLB的情况，对其经过的CLB中的端口进行判断并进行排序，将端口为寄存器输出或者组合输出排在第一位，其余后面的位置不变，这样方便后续校验直接识别第一个为输出。

5.根据权利要求4所述的自动化验证装箱布局布线的测试方法，其特征在于：所述步骤(2)中，另一个字典是以CLB名字为key，里面存放这个CLB下的类型、CLB的编号、坐标、端口、信号、是否取反标识及属性；其中类型，CLB的编号及坐标为该CLB的属性，端口为该CLB下的所有端口，并且存放每个端口所对应的信号，一个端口有多个信号，则存放多个，给每个信号添加一个取反标志，如果有取反则标志为1，否则为0；CLB的属性通过网表文件获取，将属性名为KEY，属性取值为value存储。

6.根据权利要求5所述的自动化验证装箱布局布线的测试方法，其特征在于：所述步骤(3)中，解析其所生成的XML文件，以CLB名字为KEY,里面存放坐标及装在一起的BLE，每个BLE的属性以及装箱布局之后这个CLB的属性，如果为DSP、MEM或者IO，也是同理生成在这个字典中。

7.根据权利要求6所述的自动化验证装箱布局布线的测试方法，其特征在于：所述步骤(3)中，生成布线文件，以信号SIGNAL为KEY，将这个信号的起点到终点经过的路径存放在字典中。

8.根据权利要求7所述的自动化验证装箱布局布线的测试方法，其特征在于：所述步骤(4)中，将所需要校验的规则按类型整理归类进规则文件中，存放规则校验的内容及是否需要校验两个字段，解析成功后，后续进行规则的校验时需要读取这个文件，如果这个规则需要校验，则设为Y，如果不需要校验，则设为N。

9.根据权利要求8所述的自动化验证装箱布局布线的测试方法，其特征在于：所述步骤(5)中，读取规则文件中该规则的设置，如果为Y，则进行校验，如果为N，则不进行校验；每个校验的基础都是步骤(2)、(3)解析出来的字典。

10.一种自动化验证装箱布局布线的测试系统，其特征在于：其包括：

规则文件设置模块，其配置来设置规则文件；