CN111914502A - 一种基于rtl网表的复位网络提取方法 - Google Patents
一种基于rtl网表的复位网络提取方法 Download PDFInfo
- Publication number
- CN111914502A CN111914502A CN202010804387.1A CN202010804387A CN111914502A CN 111914502 A CN111914502 A CN 111914502A CN 202010804387 A CN202010804387 A CN 202010804387A CN 111914502 A CN111914502 A CN 111914502A
- Authority
- CN
- China
- Prior art keywords
- reset
- signal path
- backtracking
- semaphore
- sequential device
- 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.)
- Withdrawn
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
- G06F30/3308—Design verification, e.g. functional simulation or model checking using simulation
- G06F30/3312—Timing analysis
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/327—Logic synthesis; Behaviour synthesis, e.g. mapping logic, HDL to netlist, high-level language to RTL or netlist
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F2119/00—Details relating to the type or aim of the analysis or the optimisation
- G06F2119/12—Timing analysis or timing optimisation
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Design And Manufacture Of Integrated Circuits (AREA)
Abstract
本发明公开了一种基于RTL网表的复位网络提取方法,先获取集成电路硬件描述语言对应的RTL网表中所有的时序器件,对每个时序器件进行回溯推导得到每个时序器件的回溯信号路径,搜索回溯信号路径上的信号量和每个时序器件对应的的硬件描述语言并与回溯信号路径进行复位模式匹配,筛选得到复位信号路径并存入信号路径集,对信号路径集中的复位信号路径逐条合并,形成复位网络。本发明通过对时序器件的输入端口进行回溯推导,能够得到一条完整的回溯信号路径,结合RTL网表和硬件描述语言能够准确识别复位信号路径,将提取到的复位信号路径合并成完整的复位网络。本发明分析并提取的复位网络在保证分析结果准确性的同时还大幅提高了分析的工作效率。
Description
技术领域
本发明属于复位分析的技术领域,具体涉及一种基于RTL网表的复位网络提取方法。
背景技术
RTL(Register Transfer Level,寄存器传输级)用硬件描述语言(Verilog HDL或VHDL)描述理想达到的功能,可以表示为一个有限状态机或是一个可以在预定的时钟周期边界上进行寄存器传输的时序状态机。而跨时钟域通俗地讲,就是模块之间有数据交互,但是模块用的不是同一个时钟进行驱动,在跨时钟域的信号传输过程中,可能出现亚稳态的情况,同一时钟域内的异步复位跨域也可能出现亚稳态的情况。
随着集成电路设计的复杂度越来越高,异步复位的使用也越来越普遍。因此,跨复位域导致的设计错误问题日渐突显,而跨复位域分析的首要任务就是对集成电路设计中的复位网络进行提取,传统的复位网络提取是通过人工分析完成,随着集成电路设计规模的不断扩大,逻辑功能越来越复杂,人工分析的效率和准确性都大打折扣。
发明内容
为解决上述技术问题中的至少之一,本发明提出一种基于RTL网表的复位网络提取方法。
本发明的目的通过以下技术方案实现:
本发明提供了一种基于RTL网表的复位网络提取方法,其特征在于,
S1:先获取集成电路硬件描述语言对应的RTL网表中所有的时序器件;
S2:对每个时序器件进行回溯推导得到每个时序器件的回溯信号路径;
S3:搜索回溯信号路径上的信号量和每个时序器件对应的硬件描述语言,并与回溯信号路径进行复位模式匹配,筛选得到复位信号路径并存入信号路径集;
S4:对信号路径集中的复位信号路径逐条合并,形成复位网络。
作为进一步的改进,所述每个时序器件进行回溯推导,是指从每个时序器件的输入端口开始,反向搜索与该输入端口连接的电路或器件,遇到时序器件时,则对该时序器件的输入端口进行反向跟踪,直到搜索至该输入端口的输入信号源,得到从输入信号源至时序器件的回溯信号路径。
作为进一步的改进,所述时序器件的输入端口包括复位端口、清零端口及数据输入端口。
作为进一步的改进,在S2步骤中,回溯信号路径以线性链表方式存储,每个回溯信号路径存储为一个线性链表。
作为进一步的改进,所述S3步骤中筛选得到复位信号路径,是指对硬件描述语言做词法和语法分析后生成抽象语法树,搜索每个时序器件抽象语法树的always语句块,遍历always语句块的敏感信号列表中包含的所有信号量作为备选信号量及该always语句块内第一次出现的条件表达式中的条件信号量,若条件表达式的语句块中存在对时序器件输出信号量赋值的语句,且回溯信号路径上的信号量与条件信号量匹配,则该回溯信号路径是复位信号路径。
作为进一步的改进,所述S4步骤中复位信号路径逐条合并,是指先从信号路径集中任意选取一条复位信号路径初始复位网络,然后信号路径集中的复位信号路径从输入信号源开始,逐条与复位网络中的节点进行对比,若复位信号路径与节点相同,则将复位网络中的当前节点与复位信号路径合并,合并后的节点与前驱节点连接;若不相同,则在复位网络中新建节点,新建节点与复位信号路径合并,合并后的节点与前驱节点连接,直到复位信号路径集中所有的复位信号路径与复位网络合并完成。
本发明提供的一种基于RTL网表的复位网络提取方法,先获取集成电路硬件描述语言对应的RTL网表中所有的时序器件,对每个时序器件进行回溯推导得到每个时序器件的回溯信号路径,搜索回溯信号路径上的信号量和每个时序器件对应的硬件描述语言,并与回溯信号路径进行复位模式匹配,筛选得到复位信号路径并存入信号路径集,对信号路径集中的复位信号路径逐条合并,形成复位网络。由于采用了上述方法,本发明具有如下优点:
(1)通过对时序器件的输入端口进行回溯推导,能够得到一条完整的回溯信号路径。
(2)复位模式匹配方法,结合RTL网表和硬件描述语言能够准确识别复位信号路径。
(3)信号路径合并,将提取到的复位信号路径逐条合并成完整的复位网络。
(4)基于RTL网表结合硬件描述语言***的对集成电路设计进行分析并提取出复位网络,在保证分析结果准确性的同时还大幅提高了分析的工作效率。
附图说明
利用附图对本发明作进一步说明,但附图中的实施例不构成对本发明的任何限制,对于本领域的普通技术人员,在不付出创造性劳动的前提下,还可以根据以下附图获得其它的附图。
图1为本发明的流程图。
图2为本发明RTL网表的示意图。
具体实施方式
为了使本领域的技术人员更好地理解本发明的技术方案,下面结合附图和具体实施例对本发明作进一步详细的描述,需要说明的是,在不冲突的情况下,本申请的实施例及实施例中的特征可以相互组合。
结合图1所示,本发明实施例提供一种基于RTL网表的复位网络提取方法,
S1:先获取集成电路硬件描述语言对应的RTL网表中所有的时序器件,RTL是用寄存器级的描述方式来描述电路的数据流,用硬件描述语言编写的代码都可转换为同类的RTL网表,使用综合工具生成硬件描述语言对应的RTL网表,即将硬件描述语言转换成电路,RTL网表中包括没有时钟驱动端口的组合逻辑电路和有时钟驱动端口的时序器件等信息,从RTL网表中提取有时钟驱动端口的所有时序器件。
S2:对每个时序器件进行回溯推导得到每个时序器件的回溯信号路径,具体的,从每个时序器件的输入端口开始,反向搜索与该端口连接的电路或器件,输入端口可包括复位端口、清零端口及数据输入端口,输入端口为当前时序器件与某个输入信号连接的端口,通过输入信号量为当前时序器件提供直接信号,输入信号量是硬件描述语言中连接到当前时序器件输入端口的变量,遇到时序器件则对该时序器件的数据输入端口进行反向跟踪,直到搜索至该端口的输入信号源,即连接到当前时序器件输入端口最源头的输入信号,输入信号源是输入信号量的信号来源,得到从输入信号源至时序器件的回溯信号路径,并将回溯信号路径以线性链表方式存储,每个回溯信号路径存储为一个线性链表,线性链表是采用链式存储的线性表,存储特点是,每个节点都分数据域和指针域两部分,数据域包含存储元素的值,回溯信号路径存储在数据域内,指针域包含存放直接前驱或直接后继元素的地址信息。
S3:搜索回溯信号路径上的信号量和每个时序器件对应的的硬件描述语言,并与回溯信号路径进行复位模式匹配,是先对集成电路采用的硬件描述语言做词法和语法分析后生成抽象语法树,搜索每个时序器件抽象语法树的always语句块,遍历always语句块的敏感信号列表中包含的所有信号量作为备选信号量及该always语句块内第一次出现的条件表达式中的条件信号量,若条件表达式的语句块中存在对时序器件输出信号量赋值的语句,且回溯信号路径上的信号量与条件信号量匹配,则该回溯信号路径是复位信号路径。
always语句块的敏感信号列表中包含的所有信号量,主要是集成电路所有的输入信号和条件判断信号,因为有时不完整的敏感信号列表会造成不同的仿真和综合结果,因此需要保证敏感信号列表信号量的完整性,敏感信号列表出现在always块中,其行为级的含义是只要敏感信号列表内的信号量发生电平变化,则always模块中的语句就执行一次。
结合图2所示,下述为时序器件对应的硬件描述语言与回溯信号路径进行复位模式匹配的示例:
从RTL网表中提取出的一条时序器件的回溯信号路径是:rst_n->dff(PRE)->b,时序器件硬件描述语言对应的always语句块是:
表示在时钟的上升沿或复位的下降沿会执行if条件语句中的语句块,其中,PRE是D触发器的名称,b是D触发器PRE的输出信号量,a是D触发器PRE的输入信号量,M1为子模块,M2为当前模块,clk为D触发器PRE的时钟端信号,rst_n为D触发器PRE的清零端信号,rst_n出现在always语句块的敏感信号列表中表示该D触发器为异步复位。
时序器件D触发器PRE及其相关输入输出信号由该always语句块综合而来,则会获取该always语句敏感信号列表中的clk和rst_n信号量,得到备选信号量{clk,rst_n},always语句块第一次出现的条件表达式if语句中的条件信号量rst_n,以及该条件下对应的赋值语句b<=1'b0,并与回溯信号路径中的信号量进行对比,发现回溯信号路径的信号量与条件信号量rst_n匹配,同时被赋值信号b是D触发器PRE的输出信号,因此该回溯信号路径即为复位信号路径;反之,备选信号量与回溯信号路径的信号量不匹配或者条件表达式语句块中没有对输出信号量的赋值语句,则该回溯信号路径不是复位信号路径。
S4:对信号路径集中的复位信号路径对应的回溯信号路径存储的线性链表进行逐条合并形成复位网络,即先从信号路径集中任意选取一条复位信号路径对应的回溯信号路径存储的线性链表作为初始复位网络,信号路径集中的复位信号路径从输入信号源开始,逐条与复位网络中的节点进行对比,复位信号路径与节点相同,则将复位网络中的当前节点与复位信号路径合并,合并后的节点与前驱节点连接;若不相同,则在复位网络中新建节点,新建节点与复位信号路径合并,合并后的节点与前驱节点连接,直到复位信号路径集中所有的复位信号路径与复位网络合并完成。
上面的描述中阐述了很多具体细节以便于充分理解本发明,但是,本发明还可以采用其他不同于在此描述的其他方式来实施,因此,不能理解为对本发明保护范围的限制。
总之,本发明虽然列举了上述优选实施方式,但是应该说明,虽然本领域的技术人员可以进行各种变化和改型,除非这样的变化和改型偏离了本发明范围,否则都应该包括在本发明的保护范围内。
Claims (6)
1.一种基于RTL网表的复位网络提取方法,其特征在于,
S1:先获取集成电路硬件描述语言对应的RTL网表中所有的时序器件;
S2:对每个时序器件进行回溯推导得到每个时序器件的回溯信号路径;
S3:搜索回溯信号路径上的信号量和每个时序器件对应的硬件描述语言,并与回溯信号路径进行复位模式匹配,筛选得到复位信号路径并存入信号路径集;
S4:对信号路径集中的复位信号路径逐条合并,形成复位网络。
2.如权利要求1所述的一种基于RTL网表的复位网络提取方法,其特征在于,所述每个时序器件进行回溯推导,是指从每个时序器件的输入端口开始,反向搜索与该输入端口连接的电路或器件,遇到时序器件时,则对该时序器件的输入端口进行反向跟踪,直到搜索至该输入端口的输入信号源,得到从输入信号源至时序器件的回溯信号路径。
3.如权利要求2所述的一种基于RTL网表的复位网络提取方法,其特征在于,所述时序器件的输入端口包括复位端口、清零端口及数据输入端口。
4.如权利要求1所述的一种基于RTL网表的复位网络提取方法,其特征在于,在S2步骤中,回溯信号路径以线性链表方式存储,每个回溯信号路径存储为一个线性链表。
5.如权利要求4所述的一种基于RTL网表的复位网络提取方法,其特征在于,所述S3步骤中筛选得到复位信号路径,是指对硬件描述语言做词法和语法分析后生成抽象语法树,搜索每个时序器件抽象语法树的always语句块,遍历always语句块的敏感信号列表中包含的所有信号量作为备选信号量及该always语句块内第一次出现的条件表达式中的条件信号量,若条件表达式的语句块中存在对时序器件输出信号量赋值的语句,且回溯信号路径上的信号量与条件信号量匹配,则该回溯信号路径是复位信号路径。
6.如权利要求5所述的一种基于RTL网表的复位网络提取方法,其特征在于,所述S4步骤中复位信号路径逐条合并,是指先从信号路径集中任意选取一条复位信号路径初始复位网络,然后信号路径集中的复位信号路径从输入信号源开始,逐条与复位网络中的节点进行对比,若复位信号路径与节点相同,则将复位网络中的当前节点与复位信号路径合并,合并后的节点与前驱节点连接;若不相同,则在复位网络中新建节点,新建节点与复位信号路径合并,合并后的节点与前驱节点连接,直到复位信号路径集中所有的复位信号路径与复位网络合并完成。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202010804387.1A CN111914502A (zh) | 2020-08-11 | 2020-08-11 | 一种基于rtl网表的复位网络提取方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202010804387.1A CN111914502A (zh) | 2020-08-11 | 2020-08-11 | 一种基于rtl网表的复位网络提取方法 |
Publications (1)
Publication Number | Publication Date |
---|---|
CN111914502A true CN111914502A (zh) | 2020-11-10 |
Family
ID=73284203
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202010804387.1A Withdrawn CN111914502A (zh) | 2020-08-11 | 2020-08-11 | 一种基于rtl网表的复位网络提取方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN111914502A (zh) |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN113919254A (zh) * | 2021-11-13 | 2022-01-11 | 奇捷科技(深圳)有限公司 | 寄存器传输级信号映射构建方法、装置、设备和存储介质 |
CN115842615A (zh) * | 2023-02-24 | 2023-03-24 | 湖南泛联新安信息科技有限公司 | 一种基于rtl网表的时钟网络提取方法 |
WO2024060452A1 (zh) * | 2022-09-22 | 2024-03-28 | 上海概伦电子股份有限公司 | 信号路径自动提取方法、***、设备和存储介质 |
-
2020
- 2020-08-11 CN CN202010804387.1A patent/CN111914502A/zh not_active Withdrawn
Cited By (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN113919254A (zh) * | 2021-11-13 | 2022-01-11 | 奇捷科技(深圳)有限公司 | 寄存器传输级信号映射构建方法、装置、设备和存储介质 |
WO2024060452A1 (zh) * | 2022-09-22 | 2024-03-28 | 上海概伦电子股份有限公司 | 信号路径自动提取方法、***、设备和存储介质 |
CN115842615A (zh) * | 2023-02-24 | 2023-03-24 | 湖南泛联新安信息科技有限公司 | 一种基于rtl网表的时钟网络提取方法 |
CN115842615B (zh) * | 2023-02-24 | 2023-05-09 | 湖南泛联新安信息科技有限公司 | 一种基于rtl网表的时钟网络提取方法 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN111914502A (zh) | 一种基于rtl网表的复位网络提取方法 | |
US10552558B2 (en) | Conditional phase algebra for clock analysis | |
US7162706B2 (en) | Method for analyzing and validating clock integration properties in circuit systems | |
CN114742001B (zh) | 一种基于多fpga的***静态时序分析方法 | |
CN112036104A (zh) | 一种基于rtl网表的有限状态机识别及提取方法 | |
US7617469B2 (en) | Assertion description conversion device, method and computer program product | |
US11321512B2 (en) | Method for automatic detection of a functional primitive in a model of a hardware system | |
KR100521289B1 (ko) | 트랜지스터 회로의 타이밍 특성 추출 방법, 타이밍 특성라이브러리를 기억한 기억 매체, lsi의 설계 방법, 및게이트 추출 방법 | |
US20070129925A1 (en) | Logic circuit model conversion apparatus and method thereof; and logic circuit model conversion program | |
CN111553120A (zh) | 一种数字电路局部时钟网络spice网表的生成方法 | |
CN115293084A (zh) | 一种门级网表跨时钟域自动化分析方法及*** | |
US8306802B2 (en) | Method for modeling an HDL design using symbolic simulation | |
US20080059923A1 (en) | Lsi power consumption calculation method and calculation program | |
US7472371B2 (en) | Description style conversion method, program, and system of logic circuit | |
CN107784185B (zh) | 一种门级网表中伪路径的提取方法、装置及终端设备 | |
CN116933697B (zh) | 一种将自然语言转换为硬件描述语言的方法及装置 | |
US8271923B2 (en) | Implementing forward tracing to reduce pessimism in static timing of logic blocks laid out in parallel structures on an integrated circuit chip | |
US6532577B1 (en) | Timing driven interconnect analysis | |
JP4142176B2 (ja) | インタフェース仕様定義を記録した記憶媒体、及び接続検証方法、及び信号パタン生成方法 | |
Singh et al. | Cross-correlation of specification and rtl for soft ip analysis | |
CN116384297A (zh) | 一种芯片时钟约束文件的生成方法 | |
Hutton et al. | Efficient static timing analysis and applications using edge masks | |
US20230229838A1 (en) | Connection analysis method for multi-port nesting model and storage medium | |
JP2004171149A (ja) | マルチサイクルパス解析方法 | |
Zadegan et al. | Upper-bound computation for optimal retargeting in IEEE1687 networks |
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 | ||
WW01 | Invention patent application withdrawn after publication |
Application publication date: 20201110 |
|
WW01 | Invention patent application withdrawn after publication |