CN116011374B - 实现布线资源验证的方法、装置、计算机存储介质及终端 - Google Patents
实现布线资源验证的方法、装置、计算机存储介质及终端 Download PDFInfo
- Publication number
- CN116011374B CN116011374B CN202310070149.6A CN202310070149A CN116011374B CN 116011374 B CN116011374 B CN 116011374B CN 202310070149 A CN202310070149 A CN 202310070149A CN 116011374 B CN116011374 B CN 116011374B
- Authority
- CN
- China
- Prior art keywords
- wiring
- information
- simulation
- connection relation
- coverage
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
- 238000000034 method Methods 0.000 title claims abstract description 31
- 238000012795 verification Methods 0.000 title claims abstract description 25
- 238000004088 simulation Methods 0.000 claims abstract description 84
- 238000012545 processing Methods 0.000 claims abstract description 22
- 238000007781 pre-processing Methods 0.000 claims abstract description 19
- 238000004590 computer program Methods 0.000 claims description 14
- 238000012546 transfer Methods 0.000 claims description 6
- 238000000605 extraction Methods 0.000 claims description 4
- 238000012360 testing method Methods 0.000 description 14
- 238000013461 design Methods 0.000 description 7
- 230000006870 function Effects 0.000 description 7
- 238000010586 diagram Methods 0.000 description 4
- 230000008569 process Effects 0.000 description 4
- 238000004364 calculation method Methods 0.000 description 3
- 238000005516 engineering process Methods 0.000 description 3
- 238000004891 communication Methods 0.000 description 2
- 239000002184 metal Substances 0.000 description 2
- 238000004458 analytical method Methods 0.000 description 1
- 238000003491 array Methods 0.000 description 1
- 230000005540 biological transmission Effects 0.000 description 1
- 238000012938 design process Methods 0.000 description 1
- 230000006872 improvement Effects 0.000 description 1
- 230000010354 integration Effects 0.000 description 1
- 238000002372 labelling Methods 0.000 description 1
- 238000004519 manufacturing process Methods 0.000 description 1
- 238000013507 mapping Methods 0.000 description 1
- 239000000203 mixture Substances 0.000 description 1
- 230000003287 optical effect Effects 0.000 description 1
- 238000003672 processing method Methods 0.000 description 1
- 230000007723 transport mechanism Effects 0.000 description 1
- 238000004804 winding Methods 0.000 description 1
Classifications
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
- Y02D—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN INFORMATION AND COMMUNICATION TECHNOLOGIES [ICT], I.E. INFORMATION AND COMMUNICATION TECHNOLOGIES AIMING AT THE REDUCTION OF THEIR OWN ENERGY USE
- Y02D10/00—Energy efficient computing, e.g. low power processors, power management or thermal management
Landscapes
- Design And Manufacture Of Integrated Circuits (AREA)
Abstract
本文公开一种实现布线资源验证的方法、装置、计算机存储介质及终端,包括:对现场可编程门阵列(FPGA)芯片的布线资源的连接关系信息和布线线段信息进行预处理,获得布线资源数据文件;提取需覆盖率统计的仿真实例中包含的布线信息,获得仿真覆盖信息文件;根据仿真覆盖信息文件和布线资源数据文件确定布线覆盖率信息;其中,布线资源数据文件和仿真覆盖信息文件均为数据库可加载的文件;预处理包括:按照预设格式对布线资源的信息进行处理,及对布线资源添加预设的分类标签。本发明实施例通过预处理获得的布线资源数据文件,提升了布线覆盖率确定的效率;进一步的,通过对布线资源添加分类标签,实现了不同分类的布线资源的覆盖率统计。
Description
技术领域
本文涉及但不限于现场可编辑逻辑门阵列芯片测试技术,尤指一种实现布线资源验证的方法、装置、计算机存储介质及终端。
背景技术
近年来,随着大规模集成电路器件复杂度与容量的不断提升,现场可编程门阵列(FPGA,Field Programmable Gate Array)以高度的并行、可定制和可重构的特性得到了广泛的关注与应用;与此同时,随着FPGA芯片规模的不断扩大和性能的不断提升,为了保证所设计芯片功能的正确性,需要投入比以往更多的时间和人力,困此难度大幅增加。
通常来讲,FPGA由三个部分构成,第一部分是实现逻辑的逻辑块(LB,Logicblock)。第二部分是与外部进行通信的I/O模块(Input/Output Block),第三部分是连接逻辑块和I/O块的布线资源;其中,布线资源作为各个逻辑块和I/O模块之间数据传输的枢纽,在FPGA芯片中发挥着重要的作用,因此布线资源连通性验证测试的工作也应该收到重视。FPGA芯片内部有着丰富的布线资源;一般来说,FPGA中的布线资源大致可以分类为:开关块、连接块和布线线段;其中,为了满足速度和功耗等设计要求,需要设计多种类型的布线线段来实现复杂的布线需求,例如,在FPGA的布线通道里同时存在短距离、中距离和长距离等不同长度的布线线段;开关块位于纵向和横向布线通道的交叉处,通过可编程开关来控制布线资源;连接块也由可编程布线开关构成,连接布线通道和逻辑块的输入和输出端口。
相关技术在执行布线资源验证时,通常根据不同的类型区域等条件把布线资源分成若干布线实例(case)逐个验证,这种方式对于布线覆盖率统计造成一定的困难。
发明内容
以下是对本文详细描述的主题的概述。本概述并非是为了限制权利要求的保护范围。
本发明实施例提供一种实现布线资源验证的方法、装置、计算机存储介质及终端,能够提升确定布线覆盖率的效率。
本发明实施例提供了一种实现布线资源验证的方法,包括:
对现场可编程门阵列FPGA芯片的布线资源的连接关系信息和布线线段信息进行预处理,获得布线资源数据文件;
提取需覆盖率统计的仿真实例中包含的布线信息,获得仿真覆盖信息文件,布线信息包括:仿真实例中包含的连接关系和布线线段;
根据获得的仿真覆盖信息文件和布线资源数据文件,确定布线覆盖率信息;
其中,所述布线资源数据文件和所述仿真覆盖信息文件均为数据库可加载的文件;所述预处理包括:按照预设格式对布线资源中包含的一种以上连接关系和布线线段的信息进行处理,以及按照预设策略对所述一种以上连接关系和布线线段添加预设的分类标签。
另一方面,本发明实施例还提供一种计算机存储介质,所述计算机存储介质中存储有计算机程序,所述计算机程序被处理器执行时实现上述实现布线资源验证的方法。
再一方面,本发明实施例还提供一种终端,包括:存储器和处理器,所述存储器中保存有计算机程序;其中,
处理器被配置为执行存储器中的计算机程序;
所述计算机程序被所述处理器执行时实现如上述实现布线资源验证的方法。
还一方面,本发明实施例还提供一种实现布线资源验证的装置,包括:预处理单元、提取单元和数据统计处理单元;其中,
预处理单元设置为:对现场可编程门阵列FPGA芯片的布线资源的连接关系信息和布线线段信息进行预处理,获得布线资源数据文件;
提取单元设置为:提取需覆盖率统计的仿真实例中包含的布线信息,获得仿真覆盖信息文件,布线信息包括:仿真实例中包含的连接关系和布线线段;
数据统计处理单元设置为:根据获得的仿真覆盖信息文件和布线资源数据文件,确定布线覆盖率信息;
其中,所述布线资源数据文件和所述仿真覆盖信息文件均为数据库可加载的文件;所述预处理包括:按照预设格式对布线资源中包含的一种以上连接关系和布线线段的信息进行处理,以及按照预设策略对所述一种以上连接关系和布线线段添加预设的分类标签。
本申请技术方案包括:对现场可编程门阵列FPGA芯片的布线资源的连接关系信息和布线线段信息进行预处理,获得布线资源数据文件;提取需覆盖率统计的仿真实例中包含的布线信息,获得仿真覆盖信息文件,布线信息包括:仿真实例中包含的连接关系和布线线段;根据获得的仿真覆盖信息文件和布线资源数据文件,确定布线覆盖率信息;其中,所述布线资源数据文件和所述仿真覆盖信息文件均为数据库可加载的文件;所述预处理包括:按照预设格式对布线资源中包含的一种以上连接关系和布线线段的信息进行处理,以及按照预设策略对所述一种以上连接关系和布线线段添加预设的分类标签。本发明实施例通过预处理获得的布线资源数据文件,提升了布线覆盖率确定的效率;进一步的,通过对布线资源添加分类标签,实现了不同分类的布线资源的覆盖率统计。
本发明的其它特征和优点将在随后的说明书中阐述,并且,部分地从说明书中变得显而易见,或者通过实施本发明而了解。本发明的目的和其他优点可通过在说明书、权利要求书以及附图中所特别指出的结构来实现和获得。
附图说明
附图用来提供对本发明技术方案的进一步理解,并且构成说明书的一部分,与本申请的实施例一起用于解释本发明的技术方案,并不构成对本发明技术方案的限制。
图1为相关技术中岛型FPGA结构示意图;
图2为相关技术中布线资源的示意图;
图3为本发明实施例实现布线资源验证的方法的流程图;
图4为本发明实施例布线资源验证过程中数据流向图。
具体实施方式
为使本发明的目的、技术方案和优点更加清楚明白,下文中将结合附图对本发明的实施例进行详细说明。需要说明的是,在不冲突的情况下,本申请中的实施例及实施例中的特征可以相互任意组合。
在附图的流程图示出的步骤可以在诸如一组计算机可执行指令的计算机***中执行。并且,虽然在流程图中示出了逻辑顺序,但是在某些情况下,可以以不同于此处的顺序执行所示出或描述的步骤。
为方便理解,本申请首先对FPGA布线资源作简要说明,图1为相关技术中岛型FPGA结构示意图,如图1所示,FPGA的核心包括逻辑输入输出模块和布线资源三个部分。FPGA中的逻辑块根据逻辑功能可以区分为两大类:一类是利用查找表和数据选择器实现任意逻辑函数的通用逻辑块(可以理解为可编程逻辑单元);另一类是为了拓展功能集成到FPGA中的IP模块或者执行其他必要功能设计的模块,本文统一称为专用逻辑模块(注1:此处对于逻辑块的分类方式是为了更准确地统计绕线资源连接到不同类别逻辑块的覆盖率。注2:从布线资源的角度,I/O模块也可以当作特殊的专用逻辑块。I/O模块对内的端口是通过布线资源中的连接块转接到布线通道中去的,这一点和其他的逻辑块没有区别)。
FPGA中的布线资源的作用是连接各个逻辑块,以及连接逻辑块和I/O模块;图2为相关技术中布线资源的示意图,如图2所示,FPGA中的布线资源可以划分为三种组成部分:开关块(SB)、连接块(CB)和布线通道;其中,布线通道是由若干个布线线段(也称互联线段)组成,从版图上看,布线线段是水平或垂直方向的金属线,它将不同位置的开关块连接起来,同时布线通道中的布线线段也能通过连接块连接到逻辑块的端口上;开关块位于纵向和横向布线通道的交叉处,通过可编程开关来控制布线路径。连接块也是由可编程开关构成,其功能是连接布线通道和逻辑块。
在芯片设计过程中规定了开关块和连接块能够配置的连接关系的数量和种类,因此可以将连接块和开关块所有可配置的连接关系罗列出来,进一步汇总到数据库。此数据库中记录的每一条记录对应着芯片中布线资源的一种可以实现的连接方式;此外,芯片布线通道中的布线线段的条目数也是一个固定的数值,所有布线线段可以通过预先设定的固定格式的信息记录在数据库中。本发明实施例对FPGA中各布线资源的组成进行量化,开关块、连接块和布线通道三部分的数据库合成一个总的数据库(布线资源信息库),此数据库即为绕线覆盖率的理论值空间。
为了验证FPGA中的布线资源的正确性,验证人员需要设计仿真实例(case)去覆盖布线线段、开关块连接和连接块的连接。验证人员需要设计多个case,每个case验证测试一小块的布线资源,通过所有case的汇总实现对布线资源的全面覆盖验证。本发明实施例每一个仿真case用于测试预设确定的具体的连接关系或者布线线段,并且这些可列的测试点是和上文提及数据库中的数据之间存在映射关系。
图3为本发明实施例实现布线资源验证的方法的流程图,如图3所示,包括:
步骤301、对现场可编程门阵列(FPGA)芯片的布线资源的连接关系信息和布线线段信息进行预处理,获得布线资源数据文件;
步骤302、提取需覆盖率统计的仿真实例中包含的布线信息,获得仿真覆盖信息文件,布线信息包括:仿真实例中包含的连接关系和布线线段;
步骤303、根据获得的仿真覆盖信息文件和布线资源数据文件,确定布线覆盖率信息;
其中,布线资源数据文件和仿真覆盖信息文件均为数据库可加载的文件;预处理包括:按照预设格式对布线资源中包含的一种以上连接关系和布线线段的信息进行处理,以及按照预设策略对一种以上连接关系和布线线段添加预设的分类标签。
本发明实施例通过预处理获得的布线资源数据文件,提升了布线覆盖率确定的效率;进一步的,通过对布线资源添加分类标签,实现了不同分类的布线资源的覆盖率统计。
在一种示例性实例中,本发明实施例中的布线资源包括:开关块(SB)、连接块(CB)和布线通道,每一个布线通道由一个以上布线线段组成。
在一种示例性实例中,本发明实施例按照预设格式对布线资源中包含的一种以上连接关系和布线线段的信息进行处理,包括:
将开关块的可配置的连接关系信息按照第一预设格式进行整理,生成开关块的连接关系数据库;
根据连接块的可配置的连接关系信息按照第二预设格式进行整理,生成连接块的连接关系数据库;
根据布线通道中包含的布线线段信息按照第三预设格式进行整理,生成布线通道的布线线段数据库。
在一种示例性实例中,本发明实施例按照预设策略对一种以上连接关系和布线线段添加预设的分类标签,包括添加以下一项或任意组合的分类标签:
根据开关块转接布线线段的类型和/或开关块转接布线线段方向的不同,为开关块添加预设的第一分类标签信息;
根据连接块接入的逻辑块的类型和/或布线线段的类型不同,为连接块添加预设的第二分类标签信息;
根据布线线段的长度和/或方向的不同,为布线线段添加预设的第三分类标签信息。
本发明实施例中的开关块的连接关系数据库是FPGA芯片中所有开关块可配置连接关系的集合。在一种示例性实例中,本发明实施例按照预先设定的第一预设格式对每一个开关块,记录开关块中可配置的连接关系,将记录的开关块可配置的连接关系写入开关块的连接关系数据库中;在一种示例性实例中,本发明实施例若开关块可配置的每一种连接关系在***设计中规定了名称,在建立开关块的连接关系数据库的过程中可以沿用此名称;若***设计中没有定义开关块可配置的连接关系的名称,可以按照预设方式进行名称定义;例如:开关块是芯片中的一个相对独立的子模块,此子模块的输入端口和输出端口连接到各个不同的布线线段(在网表中的表现形式为模块互连线);开关块的每条可配置的连接关系的信息中包括:输入端口名、输出端口名、以及预先设定的用于隔开输入端口名和输出端口名的字符;假设芯片中的一个开关块可以实现从input_0(输入端口名)到output_1(输出端口名)的连接,则开关块从input_0到output_1的可配置连接关系可以记录为“input_0&output_1”,其中,&为用于隔开输入端口名和输出端口名的字符。
在一种示例性实例中,在建立开关块的连接关系数据库时,本发明实施例方法还包括:为开关块的每一个连接关系标注一个以上分类标签;分类标签包括:开关块可配置水平方向输入的布线线段转接到竖直方向输出,开关块可配置竖直方向输入的布线线段转接到水平方向输出;例如,所有符合“开关块可配置水平方向输入的布线线段转接到竖直方向输出”特征的连接关系,均可以打上“horizontal_to_vertical”的标签。
在一种示例性实例中,本发明实施例可以从电路网表中提取开关块的可配置的连接关系;在一种示例性实例中,本发明实施例可以通过预先编译的脚本,从电路网表中提取电路中所有开关块的可配置的连接关系,提取出的连接关系的格式为“输入端口名称、输出端口名称,此连接方式需要的配置”;其次使用脚本根据每一条连接关系的特点加入一个或多个标签,此脚本处理后每项连接关系记录为:“输入端口名称,输出端口名称,此连接方式需要的配置,标签1,标签2,……标签n”。最后使用数据库编译指令(SQL程序)将数据导入到数据库中,生成开关块的连接关系数据库。
本发明实施例中连接块连接关系数据库是FPGA芯片中所有连接块可配置连接关系的集合。在芯片中连接块是布线线段和逻辑块的转接通道,连接块的一侧是连接布线线段,另一侧连接到各个逻辑块的输入端口/输出端口上。在一种示例性实例中,本发明实施例若在芯片设计中定义了连接块中可配置的连接关系的名称,在建立连接块的连接关系数据库的过程中可以沿用此名称;若***设计中没有定义连接块可配置的连接关系的名称,可以按照预设方式进行名称定义。在一种示例性实例中,本发明实施例与开关块不同的是:连接块连接的逻辑块可区分为通用逻辑块和专用逻辑块。由于连接块连接通用逻辑块的部分和连接块连接专用逻辑块的部分在验证case的规划和制作上有较大的区别,因此在每一个连接块的可配置连接关系中,可以指明此连接关系接入的逻辑块的类型和连接块接入的布线线段的类型;例如,给每种连接关系添加一个逻辑块的类型的分类标签。例如某个连接块可配置从input_a至output_b的连接关系,其中input_a连接的是布线通道中的布线线段,output_b连接的是芯片的一个专用逻辑块的端口,则此连接关系命名为“input_a&output_b”,其分类标签为“Dedicated_logical_block”;给不同的连接块的连接关系添加分类标签后,在进行覆盖率统计的时,可以根据分类标签分类展示不同分类的逻辑块的布线覆盖率。需要说明的是,本发明实施例中的上述两种分类,仅是根据应用场景设定的可选分类方式,本领域技术人员可以根据布线覆盖的分析需求自定义其他的分类方式,可以对连接关系进行多个维度的分类。分类的数据会记录在连接关系数据库中,用于在进行覆盖率汇总时调用。
在一种示例性实例中,本发明实施例连接块的连接关系数据库的建立,可以采用与开关块的连接关系数据库相同或相类似的方式建立。
本发明实施例中的布线线段数据库是布线通道中所有布线线段的集合。在一种示例性实例中,本发明实施例每一个布线线段在布线通道的网表中都有其对应的名称,也可以根据布线线段两端连接的端口名称自定义名称;还可以根据布线线段长度方向等属性进行分类。
在一种示例性实例中,本发明实施例布线线段数据库的建立,可以采用与开关块的连接关系数据库相同的处理方法。
在一种示例性实例中,本发明实施例可以从仿真实例(case)中提取实际测试的连接关系和布线线段;
在一种示例性实例中,本发明实施例可以从FPGA布线工具输出的日志文件中提取实际测试的连接关系和布线线段。
本发明实施例生成的开关块的连接关系数据库、连接块的连接关系数据库和布线线段数据库中,包含芯片所有布线资源需要测试覆盖的测试点;这里,测试点包括:可配置的开关块的连接关系、可配置的连接块的连接关系和布线线段。在一种示例性实例中,为统计布线资源验证覆盖率,本发明实施例建立仿真覆盖信息文件,用于收集测试的布线信息,布线信息包括测试中包含的连接关系和布线线段。
在一种示例性实例中,确定布线覆盖率信息之前,本发明实施例方法还包括:
仿真覆盖信息文件与布线资源数据文件中记录的数据的数据格式不同时,对仿真覆盖信息文件与布线资源数据文件进行统一数据格式的处理。
在一种示例性实例中,本发明实施例每个仿真case或定向或随机的测试布线资源中的一部分连接关系和布线线段。本发明实施例需要每一个仿真case都提供当前case所覆盖的完整的布线信息。若仿真case提供的布线信息和布线资源数据文件中提供的数据格式相同,使用SQL程序直接将每个仿真case覆盖的布线信息导入到仿真覆盖信息文件。若仿真case中提供的是其他的格式,预先使用脚本将提取的连接关系和布线线段转换为和布线资源数据文件数据格式相同的信息。
仿真覆盖信息文件另一种数据来源是FPGA布线工具输出的日志文件;使用FPGA布线工具设计的仿真case可以利用工具本身导出的日志文件(FPGA布线工具可以导出工具布线的细节)。
在一种示例性实例中,本发明实施例根据获得的仿真覆盖信息文件和布线资源数据文件,确定布线覆盖率信息,包括:
根据仿真覆盖信息文件和布线资源数据文件不添加分类标签的一种以上连接关系和布线线段的信息,计算FPGA芯片的布线资源的整体仿真覆盖率;
根据添加分类标签的一种以上连接关系和布线线段的信息,区分一种以上连接关系和/或布线线段的不同分类;根据仿真覆盖信息文件和布线资源数据文件中区分分类的一种以上连接关系和/或布线线段,计算不同分类的布线资源的仿真覆盖率。
布线资源数据文件本发明实施例对布线资源数据文件和仿真覆盖信息文件进行统计计算,可以得出芯片布线资源验证的整体仿真覆盖信息。
在一种示例性实例中,本发明实施例从布线资源数据文件中获取进行覆盖率计算的目标分类的连接关系或布线线段集合,再从仿真覆盖信息文件中集合中各个测试点是否被仿真case测试覆盖;通过计算确定不同分类的布线资源的仿真覆盖率最后计算覆盖率;本发明实施例通过确定仿真覆盖率,可以查看某个具体可配置连接关系或者布线线段在哪些仿真case中测试过(在覆盖信息库中检索需要查看的条目名称,在查询的结果中能看到覆盖此条目的case信息);未被验证覆盖到的布线资源信息(查询布线信息库中未在覆盖信息库中出现的数据)。
在一种示例性实例中,本发明实施例方法还包括通过预设的显示窗口显示确定的布线覆盖率信息。在一种示例性实例中,本发明实施例通过预先设定的数据输出接口,将布线覆盖率信息以以下一种或任意组合的方式显示:表格、图像和文本文件。
图4为本发明实施例布线资源验证过程中数据流向图,如图4所示,布线资源数据文件中包含:开关块的连接关系数据库、连接块的连接关系数据库和布线线段数据库,用于存储布线资源的连接关系信息和布线线段信息;仿真覆盖信息文件中包含每一个仿真实例的布线信息;数据统计处理单元,根据仿真覆盖信息文件和布线资源数据文件,确定布线覆盖率信息;将确定的布线覆盖率信息通过预设的输出端口输出显示。
本发明实施例还提供一种计算机存储介质,计算机存储介质中存储有计算机程序,计算机程序被处理器执行时实现上述实现布线资源验证的方法。
本发明实施例还提供一种终端,包括:存储器和处理器,存储器中保存有计算机程序;其中,
处理器被配置为执行存储器中的计算机程序;
计算机程序被处理器执行时实现如上述实现布线资源验证的方法。
本发明实施例还提供一种实现布线资源验证的装置,包括:预处理单元、提取单元和数据统计处理单元;其中,
预处理单元设置为:对现场可编程门阵列FPGA芯片的布线资源的连接关系信息和布线线段信息进行预处理,获得布线资源数据文件;
提取单元设置为:提取需覆盖率统计的仿真实例中包含的布线信息,获得仿真覆盖信息文件,布线信息包括:仿真实例中包含的连接关系和布线线段;
数据统计处理单元设置为:根据获得的仿真覆盖信息文件和布线资源数据文件,确定布线覆盖率信息;
其中,布线资源数据文件和仿真覆盖信息文件均为数据库可加载的文件;预处理包括:按照预设格式对布线资源中包含的一种以上连接关系和布线线段的信息进行处理,以及按照预设策略对一种以上连接关系和布线线段添加预设的分类标签。
在一种示例性实例中,本发明实施例中的布线资源包括:开关块、连接块和由一个以上布线线段组成的布线通道。
在一种示例性实例中,本发明实施例预处理单元按照预设格式对布线资源中包含的一种以上连接关系和布线线段的信息进行处理,包括:
将开关块的可配置的连接关系信息按照第一预设格式进行整理,生成开关块的连接关系数据库;
根据连接块的可配置的连接关系信息按照第二预设格式进行整理,生成连接块的连接关系数据库;
根据布线通道中包含的布线线段信息按照第三预设格式进行整理,生成布线通道的布线线段数据库。
在一种示例性实例中,本发明实施例预处理单元按照预设策略对一种以上连接关系和布线线段添加预设的分类标签,包括添加以下一项或任意组合的分类标签:
根据开关块转接布线线段的类型和/或开关块转接布线线段方向的不同,为开关块添加预设的第一分类标签信息;
根据连接块接入的逻辑块的类型和/或布线线段的类型不同,为连接块添加预设的第二分类标签信息;
根据布线线段的长度和/或方向的不同,为布线线段添加预设的第三分类标签信息。
在一种示例性实例中,本发明实施例提取单元是设置为:
从仿真实例中提取布线信息;或者,
从FPGA布线工具输出的日志文件中提取仿真实例中的布线信息。
在一种示例性实例中,本发明实施例数据统计处理单元是设置为:
根据仿真覆盖信息文件和布线资源数据文件不添加分类标签的一种以上连接关系和布线线段的信息,计算FPGA芯片的布线资源的整体仿真覆盖率;
根据添加分类标签的一种以上连接关系和布线线段的信息,区分一种以上连接关系和/或布线线段的不同分类;根据仿真覆盖信息文件和布线资源数据文件中区分分类的一种以上连接关系和/或布线线段,计算不同分类的布线资源的仿真覆盖率。
在一种示例性实例中,本发明实施例装置还包括统一格式单元,设置为:
仿真覆盖信息文件与布线资源数据文件中记录的数据的数据格式不同时,对仿真覆盖信息文件与布线资源数据文件进行统一数据格式的处理。
本领域普通技术人员可以理解,上文中所公开方法中的全部或某些步骤、***、装置中的功能模块/单元可以被实施为软件、固件、硬件及其适当的组合。在硬件实施方式中,在以上描述中提及的功能模块/单元之间的划分不一定对应于物理组件的划分;例如,一个物理组件可以具有多个功能,或者一个功能或步骤可以由若干物理组件合作执行。某些组件或所有组件可以被实施为由处理器,如数字信号处理器或微处理器执行的软件,或者被实施为硬件,或者被实施为集成电路,如专用集成电路。这样的软件可以分布在计算机可读介质上,计算机可读介质可以包括计算机存储介质(或非暂时性介质)和通信介质(或暂时性介质)。如本领域普通技术人员公知的,术语计算机存储介质包括在用于存储信息(诸如计算机可读指令、数据结构、程序模块或其他数据)的任何方法或技术中实施的易失性和非易失性、可移除和不可移除介质。计算机存储介质包括但不限于RAM、ROM、EEPROM、闪存或其他存储器技术、CD-ROM、数字多功能盘(DVD)或其他光盘存储、磁盒、磁带、磁盘存储或其他磁存储装置、或者可以用于存储期望的信息并且可以被计算机访问的任何其他的介质。此外,本领域普通技术人员公知的是,通信介质通常包含计算机可读指令、数据结构、程序模块或者诸如载波或其他传输机制之类的调制数据信号中的其他数据,并且可包括任何信息递送介质。
Claims (8)
1.一种实现布线资源验证的方法,包括:
对现场可编程门阵列FPGA芯片的布线资源的连接关系信息和布线线段信息进行预处理,获得布线资源数据文件;
提取需覆盖率统计的仿真实例中包含的布线信息,获得仿真覆盖信息文件,布线信息包括:仿真实例中包含的连接关系和布线线段;
根据获得的仿真覆盖信息文件和布线资源数据文件,确定布线覆盖率信息;
其中,所述布线资源数据文件和所述仿真覆盖信息文件均为数据库可加载的文件;所述预处理包括:按照预设格式对布线资源中包含的一种以上连接关系和布线线段的信息进行处理,以及按照预设策略对所述一种以上连接关系和布线线段添加预设的分类标签;所述布线资源包括:开关块、连接块和由一个以上布线线段组成的布线通道;所述按照预设格式对布线资源中包含的一种以上连接关系和布线线段的信息进行处理,包括:将所述开关块的可配置的连接关系信息按照第一预设格式进行整理,生成所述开关块的连接关系数据库;根据所述连接块的可配置的连接关系信息按照第二预设格式进行整理,生成所述连接块的连接关系数据库;根据所述布线通道中包含的布线线段信息按照第三预设格式进行整理,生成所述布线通道的布线线段数据库。
2.根据权利要求1所述的方法,其特征在于,所述按照预设策略对所述一种以上连接关系和布线线段添加预设的分类标签,包括添加以下一项或任意组合的分类标签:
根据所述开关块转接布线线段的类型和/或开关块转接布线线段方向的不同,为所述开关块添加预设的第一分类标签信息;
根据所述连接块接入的逻辑块的类型和/或布线线段的类型不同,为所述连接块添加预设的第二分类标签信息;
根据所述布线线段的长度和/或方向的不同,为所述布线线段添加预设的第三分类标签信息。
3.根据权利要求1所述的方法,其特征在于,所述提取需覆盖率统计的仿真实例中包含的布线信息,包括:
从所述仿真实例中提取所述布线信息;或者,
从FPGA布线工具输出的日志文件中提取所述仿真实例中的布线信息。
4.根据权利要求1-3任一项所述的方法,其特征在于,所述根据获得的仿真覆盖信息文件和布线资源数据文件,确定布线覆盖率信息,包括:
根据仿真覆盖信息文件和布线资源数据文件不添加分类标签的所述一种以上连接关系和布线线段的信息,计算所述FPGA芯片的布线资源的整体仿真覆盖率;
根据添加所述分类标签的所述一种以上连接关系和布线线段的信息,区分所述一种以上连接关系和/或所述布线线段的不同分类;根据仿真覆盖信息文件和布线资源数据文件中区分分类的所述一种以上连接关系和/或所述布线线段,计算不同分类的布线资源的仿真覆盖率。
5.根据权利要求4所述的方法,其特征在于,所述确定布线覆盖率信息之前,所述方法还包括:
所述仿真覆盖信息文件与布线资源数据文件中记录的数据的数据格式不同时,对所述仿真覆盖信息文件与所述布线资源数据文件进行统一数据格式的处理。
6.一种计算机存储介质,所述计算机存储介质中存储有计算机程序,所述计算机程序被处理器执行时实现如权利要求1-5中任一项所述的实现布线资源验证的方法。
7.一种终端,包括:存储器和处理器,所述存储器中保存有计算机程序;其中,
处理器被配置为执行存储器中的计算机程序;
所述计算机程序被所述处理器执行时实现如权利要求1-5中任一项所述的实现布线资源验证的方法。
8.一种实现布线资源验证的装置,包括:预处理单元、提取单元和数据统计处理单元;其中,
预处理单元设置为:对现场可编程门阵列FPGA芯片的布线资源的连接关系信息和布线线段信息进行预处理,获得布线资源数据文件;
提取单元设置为:提取需覆盖率统计的仿真实例中包含的布线信息,获得仿真覆盖信息文件,布线信息包括:仿真实例中包含的连接关系和布线线段;
数据统计处理单元设置为:根据获得的仿真覆盖信息文件和布线资源数据文件,确定布线覆盖率信息;
其中,所述布线资源数据文件和所述仿真覆盖信息文件均为数据库可加载的文件;所述预处理包括:按照预设格式对布线资源中包含的一种以上连接关系和布线线段的信息进行处理,以及按照预设策略对所述一种以上连接关系和布线线段添加预设的分类标签;所述布线资源包括:开关块、连接块和由一个以上布线线段组成的布线通道;所述按照预设格式对布线资源中包含的一种以上连接关系和布线线段的信息进行处理,包括:将所述开关块的可配置的连接关系信息按照第一预设格式进行整理,生成所述开关块的连接关系数据库;根据所述连接块的可配置的连接关系信息按照第二预设格式进行整理,生成所述连接块的连接关系数据库;根据所述布线通道中包含的布线线段信息按照第三预设格式进行整理,生成所述布线通道的布线线段数据库。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202310070149.6A CN116011374B (zh) | 2023-01-28 | 2023-01-28 | 实现布线资源验证的方法、装置、计算机存储介质及终端 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202310070149.6A CN116011374B (zh) | 2023-01-28 | 2023-01-28 | 实现布线资源验证的方法、装置、计算机存储介质及终端 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN116011374A CN116011374A (zh) | 2023-04-25 |
CN116011374B true CN116011374B (zh) | 2024-04-05 |
Family
ID=86021375
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202310070149.6A Active CN116011374B (zh) | 2023-01-28 | 2023-01-28 | 实现布线资源验证的方法、装置、计算机存储介质及终端 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN116011374B (zh) |
Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US7143376B1 (en) * | 2003-03-04 | 2006-11-28 | Xilinx, Inc. | Method and apparatus for design verification with equivalency check |
CN106202761A (zh) * | 2016-07-15 | 2016-12-07 | 中国电子科技集团公司第五十八研究所 | 用于大容量fpga电路功能仿真的最优网表的生成方法 |
CN109815583A (zh) * | 2018-02-27 | 2019-05-28 | 上海安路信息科技有限公司 | Fpga的布线资源的布线方法和测试方法 |
CN110874517A (zh) * | 2018-08-10 | 2020-03-10 | 北京大学 | 一种快速验证fpga互连线连接正确的方法 |
CN110889257A (zh) * | 2019-09-30 | 2020-03-17 | 深圳市紫光同创电子有限公司 | Fpga电路验证生成网表的方法及电路逻辑验证平台 |
CN114626324A (zh) * | 2022-02-24 | 2022-06-14 | 深圳市紫光同创电子有限公司 | Fpga电路后仿真验证方法、装置、电子设备及存储介质 |
Family Cites Families (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US10796062B2 (en) * | 2017-05-25 | 2020-10-06 | Synopsys, Inc. | Full-custom voltage-dependent design rules (VDRC) flow |
US10846455B2 (en) * | 2018-03-10 | 2020-11-24 | Synopsys, Inc. | Automatic definition and extraction of functional coverage metric for emulation-based verification |
-
2023
- 2023-01-28 CN CN202310070149.6A patent/CN116011374B/zh active Active
Patent Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US7143376B1 (en) * | 2003-03-04 | 2006-11-28 | Xilinx, Inc. | Method and apparatus for design verification with equivalency check |
CN106202761A (zh) * | 2016-07-15 | 2016-12-07 | 中国电子科技集团公司第五十八研究所 | 用于大容量fpga电路功能仿真的最优网表的生成方法 |
CN109815583A (zh) * | 2018-02-27 | 2019-05-28 | 上海安路信息科技有限公司 | Fpga的布线资源的布线方法和测试方法 |
CN110874517A (zh) * | 2018-08-10 | 2020-03-10 | 北京大学 | 一种快速验证fpga互连线连接正确的方法 |
CN110889257A (zh) * | 2019-09-30 | 2020-03-17 | 深圳市紫光同创电子有限公司 | Fpga电路验证生成网表的方法及电路逻辑验证平台 |
CN114626324A (zh) * | 2022-02-24 | 2022-06-14 | 深圳市紫光同创电子有限公司 | Fpga电路后仿真验证方法、装置、电子设备及存储介质 |
Non-Patent Citations (6)
Title |
---|
Design and implementation of a routing algorithm to maximize test coverage of permanent faults in FPGAs;MASCOLO;UNIVERSITÀ DI PISA;20150925;第1-86页 * |
FPGA Design Methodology for Industrial Control Systems—A Review;Eric Monmasson 等;IEEE Transactions on Industrial Electronics;20070709;第54卷(第4期);第1824-1842页 * |
Ian Kuon 等.Design, layout and verification of an FPGA using automated tools.FPGA '05: Proceedings of the 2005 ACM/SIGDA 13th international symposium on Field-programmable gate arrays.2005,第215-226页. * |
百万门级FPGA互连线资源的覆盖测试;何东东;中国优秀硕士学位论文全文数据库 信息科技辑;20180615;第I135-448页 * |
面向FPGA的布局与布线技术研究综述;田春生 等;电子学报;20220515;第50卷(第5期);第1243-1254页 * |
面向FPGA芯片开发的测试方法设计与实现;李艳 等;微电子学与计算机;20141005;第31卷(第10期);第22-27页 * |
Also Published As
Publication number | Publication date |
---|---|
CN116011374A (zh) | 2023-04-25 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN107807982B (zh) | 一种异构数据库的一致性校验方法及装置 | |
CN108460161B (zh) | 分层抽样方法、装置和计算机设备 | |
CN111367976B (zh) | 基于java反射机制的excel文件数据的导出方法及装置 | |
CN106294222A (zh) | 一种确定pcie设备与插槽对应关系的方法及装置 | |
CN109446689A (zh) | 直流换流站二次***图纸识别方法及*** | |
CN109271358A (zh) | 数据汇总方法、查询方法、装置、设备及存储介质 | |
CN107895087A (zh) | 可编程逻辑电路模块级仿真配码自动生成的方法及*** | |
CN111241772B (zh) | 标准单元库版图及其设计方法与***以及计算机存储介质 | |
CN115329556A (zh) | 变电站cad图纸审核方法及设备 | |
CN116502596B (zh) | 芯片功耗评估方法、功耗模型的生成方法和计算机设备 | |
CN105843982B (zh) | 用于可编程逻辑器件的位流生成方法、装置及设计*** | |
CN110457706A (zh) | 兴趣点名称选择模型训练方法、使用方法、装置及存储介质 | |
CN106294128A (zh) | 一种导出报表数据的自动化测试方法及装置 | |
CN116011374B (zh) | 实现布线资源验证的方法、装置、计算机存储介质及终端 | |
CN109543316B (zh) | 提取版图不同模块连接关系的方法 | |
CN109697234B (zh) | 实体的多属性信息查询方法、装置、服务器和介质 | |
CN104598485A (zh) | 处理数据库表的方法和设备 | |
CN109101641A (zh) | 表格处理方法、装置、***和介质 | |
CN108334313A (zh) | 用于大型soc研发的持续集成方法、装置及代码管理*** | |
CN108628895A (zh) | 一种地图数据的处理方法及装置 | |
CN107688683B (zh) | 管理嵌入式***中半导体器件的存储器块的方法和*** | |
CN112861455A (zh) | Fpga建模验证***及方法 | |
CN105930514A (zh) | 配套关系检索方法和*** | |
US10467371B1 (en) | System, method, and computer program product for floorplanning in an electronic circuit design | |
CN114666231B (zh) | 一种多云环境下可视化运维管理方法、***及存储介质 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |