CN110874517A - 一种快速验证fpga互连线连接正确的方法 - Google Patents
一种快速验证fpga互连线连接正确的方法 Download PDFInfo
- Publication number
- CN110874517A CN110874517A CN201810906785.7A CN201810906785A CN110874517A CN 110874517 A CN110874517 A CN 110874517A CN 201810906785 A CN201810906785 A CN 201810906785A CN 110874517 A CN110874517 A CN 110874517A
- Authority
- CN
- China
- Prior art keywords
- interconnection
- fpga
- design
- circuit
- interconnection line
- 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.)
- Pending
Links
- 238000000034 method Methods 0.000 title claims abstract description 32
- 238000013461 design Methods 0.000 claims abstract description 42
- 238000012938 design process Methods 0.000 claims abstract description 6
- 238000010586 diagram Methods 0.000 claims description 13
- 238000012795 verification Methods 0.000 abstract description 15
- 238000011161 development Methods 0.000 description 2
- 238000002474 experimental method Methods 0.000 description 2
- 201000003478 cholangiolocellular carcinoma Diseases 0.000 description 1
- 238000005094 computer simulation Methods 0.000 description 1
- 230000007547 defect Effects 0.000 description 1
- 230000000694 effects Effects 0.000 description 1
- 238000004519 manufacturing process Methods 0.000 description 1
Images
Landscapes
- Design And Manufacture Of Integrated Circuits (AREA)
Abstract
本发明为一种快速验证FPGA互连线连接正确的方法,基于形式验证思想,采用拓扑结构比对,来验证互连线的连接正确。具体从两个方面出发,一是在FPGA设计初期,制定完善的互连线规格说明,根据规格说明,定制互连资源生成工具,生成互连资源文件。二是在芯片设计过程中,采用层次化的设计方法,对所有INSTANCE进行规则命名,使FPGA中每一个SWB都有唯一的标识,电路设计成功后,开发网表解析工具来解析得到实际电路的互连资源。将上述两个互连资源文件进行比对,即可发现设计中存在的问题,实现互连线连接正确性的验证。本发明所提方法可以快速完成FPGA互连线连接正确的验证,覆盖率高达100%,极大的缩短了设计时间。
Description
技术领域
本发明属于电子技术领域。具体涉及可编程逻辑器件(FPGA)互连线的快速验证方法。
背景技术
目前,随着集成电路制造工艺水平的不断提高,器件特征尺寸不断缩小,FPGA规模越来越大,集成模块越来越多,可以实现更加复杂的功能。当前主流FPGA基于SRAM设计,将配置信息下载到相应的配置RAM,通过配置RAM的值来控制对应开关的打开和关闭,实现相应电路的连接。FPGA主要由可编程输入输出、可编程互连和可编程逻辑组成,其中可编程互连包括可编程互连线和可编程互连开关。相对于IO/CLB/DSP/BRAM/SWB等模块来说,FPGA的互连线验证面临很大的挑战。不同于有些ASIC芯片可以采用自动布局布线设计,FPGA的互连需要定制设计,在设计过程中很容易出现互连线短路和开路现象,如何检查出这类错误是非常困难的,当前普遍采用动态仿真的方法来验证互连线的正确性,这种方法不仅速度很慢,而且覆盖率很低。所以亟待需要一种能够快速实现FPGA互连线连接正确的验证方法。本文提出一种基于拓扑结构来验证FPGA互连正确的方法,能有效检查原理图中互连线开路和短路情况,具有实现速度快,覆盖率高(理论高达100%)的优点。
发明内容
本发明的目的是克服现有FPGA互连验证方法的不足,提出一种基于形式验证思想,快速实现FPGA互连验证的方法,可以快速有效的实现FPGA互连验证,可以有效的检查出互连过程中出现的短路和开路情况。
本发明提出的互连验证方法,具体步骤如下:
(1)获取FPGA互连资源GOLDEN文件,作为参考。在FPGA设计初期,制定完善的互连规格说明,指定芯片所采用的互连线类型和数量。由于FPGA规模不断增大,所需要的互连线的种类和数量越来越多。然而,也并不是互连资源越多越好,这需要综合考虑布通率、速度和资源利用等方面,最终制定出切实可行的互连资源。互连线型一般包含线的方向和跨度信息,互连线的方向一般指由驱动点到负载点的方向,方向采用和地图方向一样的定义,即上北(North)、下南(South)、左西(West)、右东(East)。跨度一般是指互连线所跨越CLB的个数,常见的有2倍线、4倍线、5倍线、6倍线和长线等。根据互连线的规格说明,即可以根据互连规格编写对应的互连资源生成程序,这里所说的互连资源是以每个SWB的驱动点为起点的互连线,所有的SWB的驱动点为起点的互连线即构成了整个FPGA芯片的互连资源。
所以在生成整个FPGA芯片的互连资源文件的时候,需要提供FPGA的ARCH文件,这里的ARCH文件是指包含FPGA芯片中SWB行数和列数信息的文件。在FPGA中,SWB以二维形式分布,互连资源生成程序读取ARCH文件获取整个FPGA芯片的SWB行列信息,即可生成整个FPGA芯片的互连资源文件,作为GOLDEN文件。
(2)解析电路网表,得到实际设计电路的互连资源文件。当前FPGA的互连设计仍需要采用原理图设计方法,基于FPGA中模块的重复性高的特点,在电路设计中普遍采用层次化的设计方法。采用层次化的设计方法可以加快设计速度,同时有效缩小原理图的文件大小,提高设计开发速度。针对层次化的设计,需要对电路图中的每个INSTANCE进行有意义的命名,每个INSTANCE名称需要包含模块名字和相应的坐标信息,因为整个电路是多个层次的,所以INSTANCE名字中的坐标信息都是相对坐标。这样根据相对坐标关系,可以得到每个SWB的绝对坐标信息。
通过Virtuoso得到整理好的FPGA整体电路网表文件,设计网表解析程序,网表解析程序可以根据整个电路网表的连接关系,从每个SWB的驱动点开始,追踪连接关系,这样可以得到整个FPGA芯片中的所有互连资源,将追踪到的所有互连资源集中到一个文件,即可得到实际设计电路所对应的互连资源文件。
(3)互连资源对比。将步骤1所生成的GOLDEN互连文件和步骤2根据实际FPGA电路所提取出来的互连资源文件进行比对。对于开路现象,电路网表解析得到的路径比GOLDEN文件中对应的路径要短,丢失了开路后的连接。对于短路现象,电路网表解析得到的路径比GOLDEN文件中对应的路径要长,多出了短路所连接的支路。由此即可有效的检查出设计过程中所出现的短路和开路现象。
鉴于本设计所提出的互连验证方法是基于互连拓扑结构,以文本的形式进行比对,可以百分百覆盖FPGA芯片中的所有互连资源,同时只需要很短的时间即可完成整个验证过程,故本发明叫做一种快速验证FPGA互连线连接正确的方法。
技术效果
本发明所提出的技术方法已经在实际应用中实现。实验表明,本方法可以有效的检查出FPGA设计过程中所导致的互连线短路和开路问题。相对于传统的基于动态仿真的验证方法,本方法可以极大的提高了验证速度,同时能百分百的覆盖FPGA中的所有互连线资源,极大的提高了芯片的设计速度。
附图说明
图1为本发明所提方法流程图。
图2为本发明互连线示意图。
图3为本发明根据互连规律生成的互连资源文件示例图。
图4为展开式设计SWB方位图。
图5为本发明所提层次化设计命名示意图。
图6为本发明通过解析电路得到的互连资源文件示例图。
具体实施方式
下面结合附图和实施方式,对本发明所提的快速验证FPGA互连线连接正确的方法进行详细描述。
如图1所示,为本发明所提验证方法的整体流程图,从图中可以看出,本发明所提快速验证FPGA互连线连接正确的方法主要从两个方面出发,一是根据互连规律和所设计芯片的ARCH文件信息,生成互连资源文件,作为GOLDEN模型,二是对设计好的芯片网表进行解析,得到实际电路对应的互连资源文件,将得到的互连资源文件与GOLDEN模型文件进行比对,即可实现对实际设计电路的互连正确性的验证。
要想得到互连资源GOLDEN文件,需要提供ARCH文件和互连规律。ARCH文件一般提供FPGA芯片中SWB的行数和列数信息,SWB在FPGA中二维分布,提供行数和列数信息,即可得到整个FPGA芯片中所有的SWB位置信息。在FPGA中互连线的方向名字一般由4部分组成,分别为:
1、方向:FPGA中互连线的方向采用与地图方向一样的定义,既上北(N)下南(S),左西(W)右东(E)。
2、跨度:跨度指互连线所跨越CLC的个数,一般有2、5和6,通常叫做2倍线、5倍线和6倍线。有时还有长线(跨度为18、24等)。
3、位置:通常一根互连线包括起点(SRC)和终点(DST),起点为驱动点。有些互连线还包括中间点,是在起点和终点间的一个抽头,可以更灵活,通常称为中点(MID),这里“中点”并不是严格意义上的中点,对于5倍线来说,中点一般是在离起点跨度为3的地方。
4、编号:通常FPGA中一类互连线有很多根,为了区别开来,对线进行编号。
图2所示为常见互连线的示意图,根据互连线的名字可以很容易得到互连规律。有了芯片的ARCH信息和互连规律,即可设计互连资源生成程序,得到理想的互连资源文件,即互连GOLDEN文件,得到的GOLDEN文件内容如图3所示。
SWB在整个FPGA芯片中均匀分布,如图4所示,每一个SWB都有唯一的名字,可以标示其所在的行和列信息。如果在设计FPGA芯片时采用展开式的设计,每一个SWB的名字都可以采用绝对坐标来进行命名,这样可以很容易的根据网表信息,提取出整个芯片中的互连信息。但是随着FPGA芯片的规模越来越大,展开式的设计已不适用,当前,主要采用层次化的电路设计,相对于展开式设计,层次化设计具有可复用性,可大大缩小电路文件的大小,同时提高设计速度,缩短设计周期。采用层次化的设计,需要对电路各个层次模块采取有意义的名称,保证能够解析得到每个SWB的绝对坐标。本发明所提方法采用如图5所示的层次化命名,每个模块的名称中都包含坐标信息,该坐标信息是相对于本层次的相对坐标信息,根据各个相对坐标信息,代入相应的绝对坐标求解公式,即可得到每个SWB的绝对坐标信息。通过网表解析程序即可得到设计FPGA中所包含的所有互连资源文件,其内容如图6所示,每个SWB的名字以SWB开头,附带坐标信息。对上述所生成的两个互连资源文件进行比对,即可发现设计中存在的问题。如果设计中存在互连线开路现象,则通过设计解析得到的互连资源文件中存在不完全的互连线,丢失了开路后的结点。如果设计中存在互连线短路现象,则通过设计解析得到的互连资源文件中存在加长的互连线,相对于正常的互连线,多出了结点信息。
本发明所提快速验证FPGA互连线连接正确的方法已经在实际工作中应用实现,通过实验,该方法可以有效的检查出电路设计过程中导致的互连线短路和开路现象。该方法具有速度快,覆盖率高的优点,可以快速有效的发现FPGA设计前期所导致的互连线连接错误,提高FPGA产品开发速度,缩短整个设计周期,具有重要的参考和实用价值。
Claims (2)
1.一种快速验证FPGA互连线连接正确的方法,其特征在于具体步骤如下:
(1)根据互连线规格说明,设计互连资源生成程序,可以根据互连规则和FPGA的ARCH文件,生成FPGA芯片的全部互连资源,互连资源以文本的格式存在。这里的ARCH文件是指FPGA芯片中所包含SWB的行数和列数信息,据此可以生成不同规模FPGA的互连资源;
(2)在整个芯片的原理图设计阶段,对电路中的每个INSTANCE命名采用规律的命名方式,每个SWB都有唯一的名字,名字包括坐标信息。将设计好的电路总图导出网表,设计网表解析工具,对网表进行解析,得到实际设计电路的互连资源;
(3)将上述两个步骤所生成的互连资源文件进行对比,可发现电路设计过程中互连存在的错误,保证整个FPGA芯片电路原理图的互连正确。
2.根据权利1所述的原理图设计阶段INSTANCE命名,适用于层次化的设计,加快设计速度。根据INSTANCE名称中的相对坐标信息可以得到所有SWB的绝对坐标信息,从而得到整个芯片的互连资源。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201810906785.7A CN110874517A (zh) | 2018-08-10 | 2018-08-10 | 一种快速验证fpga互连线连接正确的方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201810906785.7A CN110874517A (zh) | 2018-08-10 | 2018-08-10 | 一种快速验证fpga互连线连接正确的方法 |
Publications (1)
Publication Number | Publication Date |
---|---|
CN110874517A true CN110874517A (zh) | 2020-03-10 |
Family
ID=69714147
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201810906785.7A Pending CN110874517A (zh) | 2018-08-10 | 2018-08-10 | 一种快速验证fpga互连线连接正确的方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN110874517A (zh) |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN114781300A (zh) * | 2022-06-21 | 2022-07-22 | 上海国微思尔芯技术股份有限公司 | 可编辑逻辑阵列布线方法、装置、设备和存储介质 |
CN116011374A (zh) * | 2023-01-28 | 2023-04-25 | 广东高云半导体科技股份有限公司 | 实现布线资源验证的方法、装置、计算机存储介质及终端 |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20060123377A1 (en) * | 2004-12-07 | 2006-06-08 | Lsi Logic Corporation | Interconnect integrity verification |
CN101881811A (zh) * | 2009-05-08 | 2010-11-10 | 复旦大学 | 一种可编程逻辑器件互连资源的故障测试方法 |
CN106202761A (zh) * | 2016-07-15 | 2016-12-07 | 中国电子科技集团公司第五十八研究所 | 用于大容量fpga电路功能仿真的最优网表的生成方法 |
-
2018
- 2018-08-10 CN CN201810906785.7A patent/CN110874517A/zh active Pending
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20060123377A1 (en) * | 2004-12-07 | 2006-06-08 | Lsi Logic Corporation | Interconnect integrity verification |
CN101881811A (zh) * | 2009-05-08 | 2010-11-10 | 复旦大学 | 一种可编程逻辑器件互连资源的故障测试方法 |
CN106202761A (zh) * | 2016-07-15 | 2016-12-07 | 中国电子科技集团公司第五十八研究所 | 用于大容量fpga电路功能仿真的最优网表的生成方法 |
Non-Patent Citations (1)
Title |
---|
范继聪等: "一种快速验证FPGA互连线连接正确性的方法" * |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN114781300A (zh) * | 2022-06-21 | 2022-07-22 | 上海国微思尔芯技术股份有限公司 | 可编辑逻辑阵列布线方法、装置、设备和存储介质 |
CN116011374A (zh) * | 2023-01-28 | 2023-04-25 | 广东高云半导体科技股份有限公司 | 实现布线资源验证的方法、装置、计算机存储介质及终端 |
CN116011374B (zh) * | 2023-01-28 | 2024-04-05 | 广东高云半导体科技股份有限公司 | 实现布线资源验证的方法、装置、计算机存储介质及终端 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US9223915B1 (en) | Method, system, and computer program product for checking, verifying, or testing a multi-fabric electronic design spanning across multiple design fabrics | |
US8775986B1 (en) | Software debugging of synthesized hardware | |
US6131182A (en) | Method and apparatus for synthesizing and optimizing control logic based on SRCMOS logic array macros | |
US9183332B2 (en) | Method for simulation of partial VLSI ASIC design | |
US9934342B1 (en) | Clock gating verification during RTL stage of integrated circuit design | |
CN105138774A (zh) | 一种基于集成电路层次化设计的时序后仿真方法 | |
US8732630B1 (en) | Methods, systems, and articles of manufacture for implementing analog behavioral modeling and IP integration using systemverilog hardware description language | |
US9384313B2 (en) | Systems and methods for increasing debugging visibility of prototyping systems | |
CN113971383A (zh) | 分布式静态时序分析 | |
CN110874517A (zh) | 一种快速验证fpga互连线连接正确的方法 | |
CN111709215A (zh) | 一种ip管理***及ip管理方法 | |
CN104679628A (zh) | 一种现场可编程门阵列的测试方法 | |
US8769448B1 (en) | Circuit design simulation | |
US10846449B1 (en) | Conversion of block model-based circuit designs into circuit implementations | |
CN109165131B (zh) | 一种基于Perl的原型验证平台自动化实现方法 | |
CN102156789B (zh) | Fpga约束文件自动生成***及方法 | |
CN110728098B (zh) | Fpga重配置分区优化方法及*** | |
US20230376662A1 (en) | Circuit simulation based on an rtl component in combination with behavioral components | |
Van den Bout | The anyboard: Programming and enhancements | |
Gokhale et al. | The logic description generator | |
US20030084410A1 (en) | SPICE to Verilog netlist translator | |
US10726182B1 (en) | Operator aware finite state machine for circuit design simulation | |
CN109815605B (zh) | 一种用于单粒子效应仿真的电路***组建方法 | |
Moutinho et al. | State space generation for Petri nets-based GALS systems | |
CN113821192A (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 | ||
WD01 | Invention patent application deemed withdrawn after publication |
Application publication date: 20200310 |
|
WD01 | Invention patent application deemed withdrawn after publication |