一种自动化验证原理图中标识符的测试方法及装置与流程

本发明涉及数字集成电路中fpga eda软件测试的，尤其涉及一种自动化验证原理图中标识符的测试方法，以及一种自动化验证原理图中标识符的测试装置。

背景技术：

1、fpga（field－programmable gate array，现场可编程门阵列）是一种通用的逻辑电路，与cpu，dsp并称为三大通用信号处理器件。具有灵活性高、并行性高、开发风险低的优点，已广泛地应用于工业控制、航空航天、通信、汽车电子、数据中心、智能处理等领域，并且占据着越来越多的市场份额。fpga eda（electronics design automation，电子设计自动化）软件是一种自动化设计电子电路的工具，是集成电路产业产能性能的源头。fpga eda工具涵盖了从仿真、综合到布局、布线、生成配码，从前端到后端，以及后续的工艺制造等方面。

2、电路设计通过fpga eda综合之后会有相应电路的电路图，对于比较大的电路，内部的模块、每个模块的端口、以及电路中信号的连接很多，可能会有成千上万甚至更多。测试人员需要通过一定的规则根据网表文件、布线的文件去逐个检查原理图中每个模块、每个模块的端口是否正确、信号数量以及信号连接是否正确，同时测试的电路也不止一个，这使得测试人员的工作量加剧。若是使用一种自动化验证原理图中信号、端口等的方法， 则可以极大地缩短测试时间，有效地提升测试效率。

技术实现思路

1、为克服现有技术的缺陷，本发明要解决的技术问题是提供了一种自动化验证原理图中标识符的测试方法，其能够自动验证cell、net 信息，可以高效的判断生成的原理图是否正确，从而极大地缩短测试时间，有效地提升测试效率。

2、本发明的技术方案是：这种自动化验证原理图中标识符的测试方法，其包括以下步骤：

3、（1）开始；

4、（2）判断文件路径是否存在，是则执行步骤（3），否则执行步骤（6）；

5、（3）解析文本文件，得到所有模块名的字典module_id_dict、每个cell所包含的输入和输出端口的字典module_cell_dict、所有信号的字典module_net_dict、以及module序号和各自的input和output 的id的字典module_dict_1；

6、（4）解析网表文件以及布线文件，将所有的模块文件存储到module_dict中，将所有的cell以及cell下所有的端口存储到cell_dcit中，解析布线文件后，将布线文件中所有的信号经过的路径存储到route_dict中；

7、（5）调用解析方法，验证cell的名称端口是否一致，验证net的名称以及经过的cell是否一致；

8、（6）结束。

9、本发明通过解析文本文件，得到所有模块名的字典module_id_dict、每个cell所包含的输入和输出端口的字典module_cell_dict、所有信号的字典module_net_dict、以及module 序号和各自的input和output 的id的字典module_dict_1，通过解析网表文件以及布线文件，将所有的模块文件存储到module_dict中，将所有的cell以及cell下所有的端口存储到cell_dcit中，解析布线文件后，将布线文件中所有的信号经过的路径存储到route_dict中，调用解析方法，验证cell的名称端口是否一致，验证net的名称以及经过的cell是否一致，因此能够自动验证cell、net 信息，可以高效的判断生成的原理图是否正确，从而极大地缩短测试时间，有效地提升测试效率。

10、还提供了一种自动化验证原理图中标识符的测试装置，其包括：

11、判断模块，其配置来判断文件路径是否存在，是则执行第一解析模块，否则结束；

12、第一解析模块，其配置来解析文本文件，得到所有模块名的字典module_id_dict、每个cell所包含的输入和输出端口的字典module_cell_dict、所有信号的字典module_net_dict、以及module 序号和各自的input和output 的id的字典module_dict_1；

13、第二解析模块，其配置来解析网表文件以及布线文件，将所有的模块文件存储到module_dict中，将所有的cell以及cell下所有的端口存储到cell_dcit中，解析布线文件后，将布线文件中所有的信号经过的路径存储到route_dict中；

14、调用模块，其配置来调用解析方法，验证cell的名称端口是否一致，验证net的名称以及经过的cell是否一致。

技术特征：

1.一种自动化验证原理图中标识符的测试方法，其特征在于：其包括以下步骤：

2.根据权利要求1所述的自动化验证原理图中标识符的测试方法，其特征在于：所述步骤（3）中，文本文件是软件通过实际的电路而建立的一个文件，包括了所有的module以及其id，所有的cell和其id，所有的net和其id，各个net经过的cell，以及cell_id和其所有的端口，以txt文件的形式保存，电路的原理图通过这个文件进行解析，通过引入python中的sys和re模块，进行文本文件的解析，解析后最后生成三个字典module_cell_dict、module_net_dict、module_dict_1。

3.根据权利要求2所述的自动化验证原理图中标识符的测试方法，其特征在于：所述步骤（4）中，网表文件中包含所有cell及其所有的端口和信号，其中，以cell_name_or为key，此cell下端口信号为value所建立的一个字典cell_or_dict；解析布线文件时，key是信号名， 此信号经过的cell，路径作为value建立一个route_dict_or。

4.根据权利要求3所述的自动化验证原理图中标识符的测试方法，其特征在于：所述步骤（4）中，验证cell的名称端口是否一致时，首先判断文本文件的cell是否都在网表文件的cell_or_dict中，若是某个cell在，则继续验证两个cell端口是否一致；验证端口时，通过sort函数对两个cell中的端口列表进行排序后验证，如此，便可验证端口的数量和名称是否完全一致。

5.根据权利要求4所述的自动化验证原理图中标识符的测试方法，其特征在于：所述步骤（4）中，验证cell的名称端口是否一致时，去除端口对应的net验证。

6.根据权利要求5所述的自动化验证原理图中标识符的测试方法，其特征在于：所述步骤（4）中，验证net的名称以及经过的cell是否一致时，在oute_dict_or里面，信号位置重新计算，将计算后的位置重新生成一个字典route_dict，和步骤（3）中module_net_dict进行比对；若是module_net_dict中的net都在route_dict中，则继续验证，利用sort函数判断两个cell中每个net所经过的cell列表是否一致；验证route_dict中的net信息是否都在module_net_dict中。

7.根据权利要求6所述的自动化验证原理图中标识符的测试方法，其特征在于：通过步骤（3）、（4）中的比对，若是cell信息不一致，则将此cell名打印出来，最后生成比对的结果文件；若是net信息不一致，则将此net名打印出来，最后生成比对的结果文件，对于module_net_dict中是缺少信号还是多出信号，都打印出来，并标明原因。

8.根据权利要求1所述的自动化验证原理图中标识符的测试方法的装置，其特征在于：其包括：

9.根据权利要求8所述的自动化验证原理图中标识符的测试装置，其特征在于：所述第一解析模块中，文本文件是软件通过实际的电路而建立的一个文件，包括了所有的module以及其id，所有的cell和其id，所有的net和其id，各个net经过的cell，以及cell_id和其所有的端口，以txt文件的形式保存，电路的原理图通过这个文件进行解析，通过引入python中的sys 和re模块，进行文本文件的解析，解析后最后生成三个字典module_cell_dict、module_net_dict、module_dict_1。

10.根据权利要求9所述的自动化验证原理图中标识符的测试装置，其特征在于：所述第二解析模块中，网表文件中包含所有cell及其所有的端口和信号，其中，以cell_name_or为key，此cell下端口信号为value所建立的一个字典cell_or_dict；解析布线文件时，key是信号名， 此信号经过的cell，路径作为value建立一个route_dict_or；

技术总结
一种自动化验证原理图中标识符的测试方法及装置，解析文本文件得到所有模块名的字典、每个cell所包含的输入和输出端口的字典、所有信号的字典、模块序号和各自的输入输出的id的字典，解析网表文件、布线文件，将所有的模块文件存储到module_dict中，将所有的cell以及cell下所有的端口存储到cell_dcit中，解析布线文件后，将布线文件中所有的信号经过的路径存储到route_dict中，调用解析方法，验证cell的名称端口是否一致，net的名称以及经过的cell是否一致，因此能够自动验证cell、net信息，高效判断生成的原理图是否正确，从而极大地缩短测试时间，有效地提升测试效率。

技术研发人员：丁维纳,夏燕,徐维涛
受保护的技术使用者：中科亿海微电子科技（苏州）有限公司
技术研发日：
技术公布日：2024/1/12