CN115842615B - 一种基于rtl网表的时钟网络提取方法 - Google Patents
一种基于rtl网表的时钟网络提取方法 Download PDFInfo
- Publication number
- CN115842615B CN115842615B CN202310162381.2A CN202310162381A CN115842615B CN 115842615 B CN115842615 B CN 115842615B CN 202310162381 A CN202310162381 A CN 202310162381A CN 115842615 B CN115842615 B CN 115842615B
- Authority
- CN
- China
- Prior art keywords
- clock
- signal
- signal source
- logic device
- paths
- 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
Images
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
- Tests Of Electronic Circuits (AREA)
Abstract
本发明公开了一种基于RTL网表的时钟网络提取方法,以RTL网表为必须输入,时钟信号源为可选输入,从RTL网表中的时序逻辑器件回溯推导,获取输入信号源到时序逻辑器件的信号路径并过滤;再通过提供的时钟源信息正向推导,得到时钟信号源到第一层时序节点的信号路径,解决门控时钟带来的路径混淆问题。最后对过滤后的输入信号源到时序逻辑器件的信号路径和所述时钟信号源到第一层时序节点的信号路径进行合并得到一个完整的时钟网络。对设计中的时钟网络的分析和提取提供了一种高效的处理方法,能够方便地用于时钟相关分析方法和工具中,大幅提高传统人工分析方法的工作效率。
Description
技术领域
本发明属于电子设计自动化技术领域,特别是涉及一种基于RTL网表的时钟网络提取方法。
背景技术
当数字信号跨时钟域传输时,就会产生亚稳态问题。亚稳态是指触发器无法在某个规定时间段内达到一个可确认的状态。每一个触发器都有其规定的建立和保持时间参数, 在这个时间窗口内,输入信号在时钟的上升沿是不允许发生改变的。如果触发器的数据输入端口上数据在这个时间窗口内发生变化(或者数据更新),那么就会产生时序违规,触发器的输出将徘徊在不可预知的电平状态,即亚稳态。随着设计的复杂度越来越高,多时钟域的使用也越来越普遍。因此,跨时钟域导致的设计错误问题日渐突显。而跨时钟域分析的首要任务就是对设计中的时钟网络进行提取。
传统的时钟网络提取是通过人工完成的。随着设计规模的不断扩大,逻辑功能越来越复杂,人工分析的效率和准确性都大打折扣。
发明内容
针对以上技术问题,本发明提供一种基于RTL网表的时钟网络提取方法。
本发明解决其技术问题采用的技术方案是:
一种基于RTL网表的时钟网络提取方法,方法包括以下步骤:
S100:获取RTL网表,收集RTL网表的所有时序逻辑器件,从RTL网表的时序逻辑器件回溯推导,得到输入信号源到时序逻辑器件的信号路径;
S200:获取配置文件,根据配置文件判断是否提供了时钟信号源,若是,根据时钟信号源进行正向推导,得到时钟信号源到第一层时序节点的信号路径;
S300:使用S200获得的时钟信号源到第一层时序节点的信号路径对S100中获得的输入信号源到时序逻辑器件的信号路径进行过滤,去除输入信号源到时序逻辑器件的信号路径中与时钟信号源到第一层时序节点的信号路径没有吻合的信号路径,得到过滤后的输入信号源到时序逻辑器件的信号路径;
S400:对过滤后的输入信号源到时序逻辑器件的信号路径和时钟信号源到第一层时序节点的信号路径进行合并,得到时钟网络。
优选地,S100包括:
S110:获取RTL网表,收集RTL网表的所有时序逻辑器件,对每个时序逻辑器件的输入端口进行分析,筛选出时钟端口进行前向跟踪;
S120:在前向跟踪过程中,若遇到组合逻辑电路,则对组合逻辑电路的每个输入端口进行反向跟踪;若遇到时序逻辑器件,则选取时序逻辑器件的时钟端口进行反向跟踪,直至回溯到输入信号源,得到输入信号源到时序逻辑器件的信号路径。
优选地,S200包括:
从时钟信号源出发,向后搜索与时钟信号源连接的信号线或器件,直到遇到时序逻辑器件,得到时钟信号源到第一层时序节点的信号路径。
优选地,S300包括:
S310:从输入信号源到时序逻辑器件的信号路径中任选一条作为检查对象;
S320:使用时钟信号源到第一层时序节点的信号路径中的每一条与检查对象进行对比,如果路径存在部分重合则认可该路径,如果所有时钟信号源到第一层时序节点的信号路径中都没有与检查对象存在重合的路径,则舍弃检查对象;
S330:重复S310和S320,直到所有输入信号源到时序逻辑器件的信号路径均被检查完毕,得到过滤后的输入信号源到时序逻辑器件的信号路径。
优选地,S400包括:
S410:从多条输入信号源到时序逻辑器件的信号路径和多条时钟信号源到第一层时序节点的信号路径中任选一条作为初始化时钟网络;
S420:将剩下的所有的信号路径合并至初始化时钟网络中,得到完整的时钟网络。
优选地,S200中还包括:
若未提供时钟信号源,则对多条输入信号源到时序逻辑器件的信号路径进行合并,得到时钟网络。
优选地,对多条输入信号源到时序逻辑器件的信号路径进行合并,得到时钟网络,包括:
从多条输入信号源到时序逻辑器件的信号路径任选一条作为初始化时钟网络;
将剩下的所有的信号路径合并至初始化时钟网络中,得到完整的时钟网络。
优选地,合并包括:
将待合并的信号路径从输入信号源开始与当前时钟网络中的节点进行对比,若存在相同的节点,则将当前时钟网络中的节点与待合并的信号路径中的合并后的前驱节点连接,待合并的信号路径中的后续节点从当前时钟网络中的相同节点处重复合并过程,直到待合并的信号路径中的所有节点都合并完成。
优选地,将待合并的信号路径从信号源开始与当前时钟网络中的节点进行对比之后,还包括:
若不存在相同的节点,则在当前时钟网络中新建该节点,并与待合并的信号路径中的合并后的前驱节点连接,待合并的信号路径中的后续节点从新建的节点处重复合并过程,直到待合并的信号路径中的所有节点都合并完成。
上述一种基于RTL网表的时钟网络提取方法,以RTL网表为必须输入,时钟信号源为可选输入,从RTL网表中的时序逻辑器件回溯推导,获取输入信号源到时序逻辑器件的信号路径并过滤;再通过提供的时钟源信息正向推导,得到时钟信号源到第一层时序节点的信号路径,解决门控时钟带来的路径混淆问题;最后对过滤后的输入信号源到时序逻辑器件的信号路径和时钟信号源到第一层时序节点的信号路径进行合并得到一个完整的时钟网络。
对设计中的时钟网络的分析和提取提供了一种高效的处理方法,能够方便地用于时钟相关分析方法和工具中,大幅提高传统人工分析方法的工作效率。
附图说明
图1为本发明一实施例中提供的一种基于RTL网表的时钟网络提取方法流程图;
图2为本发明一实施例中提供的一种正向推导解决回溯推导导致的门控时钟混淆问题的示意图;
图3为本发明另一实施例中提供的一种基于RTL网表的时钟网络提取方法流程图。
具体实施方式
为了使本技术领域的人员更好地理解本发明的技术方案,下面结合附图对本发明作进一步的详细说明。
在一个实施例中,如图1所示,一种基于RTL网表的时钟网络提取方法,方法包括以下步骤:
S100:获取RTL网表,收集RTL网表的所有时序逻辑器件,从RTL网表的时序逻辑器件回溯推导,得到输入信号源到时序逻辑器件的信号路径。
具体地,RTL在电子科学中指的是寄存器转换级电路(Register Transfer Level)的缩写,也叫暂存器转移层次。
在一个实施例中,S100包括:
S110:获取RTL网表,收集RTL网表的所有时序逻辑器件,对每个时序逻辑器件的输入端口进行分析,筛选出时钟端口进行前向跟踪;
S120:在前向跟踪过程中,若遇到组合逻辑电路,则对组合逻辑电路的每个输入端口进行反向跟踪;若遇到时序逻辑器件,则选取时序逻辑器件的时钟端口进行反向跟踪,直至回溯到输入信号源,得到输入信号源到时序逻辑器件的信号路径。
具体地,从时序节点的时钟端口出发,向前搜索与该端口连接的信号线或器件,遇到组合逻辑器件(没有时钟驱动端口的器件)则继续向前搜索其所有输入端口,遇到时序逻辑器件(带有时钟驱动端口的器件)则继续向前探索其时钟端口,直到搜索至输入信号源,即该信号线不再有前驱节点。通过该回溯搜索过程得到从输入信号源至所有时序逻辑器件的信号路径(以线性链表方式存储)。
S200:获取配置文件,根据配置文件判断是否提供了时钟信号源,若是,根据时钟信号源进行正向推导,得到时钟信号源到第一层时序节点的信号路径。
具体地,配置文件是指约束文件等能够指定时钟信号源的文件。基于提供的时钟信号源进行正向推导,直到推导至时序器件的时钟端口或下层模块的输入端口。正向推导由于源的可靠性以及多扇出器件相对较少,能够对门控时钟造成的时钟信号源混淆起到很好的过滤。如下图2所示,门控时钟的情况下,如果仅使用回溯推导,会将使能信号误判为时钟信号源,得到多余的错误时钟信号路径(即使能->与门->寄存器),但在从时钟出发的正向推导中就可以得到且仅得到正确的时钟信号路径(即时钟->与门->寄存器)。
进一步地,时钟信号源到第一层时序节点的信号路径实际上就是从时钟信号源(一般为用户提供的时钟输入端口或时钟生成模块的输出端口)出发,正向推导直到的第一个时序逻辑器件的路径。
在一个实施例中,S200包括:
从时钟信号源出发,向后搜索与时钟信号源连接的信号线或器件,直到遇到时序逻辑器件,得到时钟信号源到第一层时序节点的信号路径。
S300:使用S200获得的时钟信号源到第一层时序节点的信号路径对S100中获得的输入信号源到时序逻辑器件的信号路径进行过滤,去除输入信号源到时序逻辑器件的信号路径中与时钟信号源到第一层时序节点的信号路径没有吻合的信号路径,得到过滤后的输入信号源到时序逻辑器件的信号路径。
在一个实施例中,S300包括:
S310:从输入信号源到时序逻辑器件的信号路径中任选一条作为检查对象;
S320:使用时钟信号源到第一层时序节点的信号路径中的每一条与检查对象进行对比,如果路径存在部分重合则认可该路径,如果所有时钟信号源到第一层时序节点的信号路径中都没有与检查对象存在重合的路径,则舍弃检查对象;
S330:重复S310和S320,直到所有输入信号源到时序逻辑器件的信号路径均被检查完毕,得到过滤后的输入信号源到时序逻辑器件的信号路径。
S400:对过滤后的输入信号源到时序逻辑器件的信号路径和时钟信号源到第一层时序节点的信号路径进行合并,得到时钟网络。
在一个实施例中,S400包括:
S410:从多条输入信号源到时序逻辑器件的信号路径和多条时钟信号源到第一层时序节点的信号路径中任选一条作为初始化时钟网络;
S420:将剩下的所有的信号路径合并至初始化时钟网络中,得到完整的时钟网络。
在一个实施例中,如图3所示,S200中还包括:
若未提供时钟信号源,则对多条输入信号源到时序逻辑器件的信号路径进行合并,得到时钟网络。
在一个实施例中,对多条输入信号源到时序逻辑器件的信号路径进行合并,得到时钟网络,包括:
从多条输入信号源到时序逻辑器件的信号路径任选一条作为初始化时钟网络;
将剩下的所有的信号路径合并至初始化时钟网络中,得到完整的时钟网络。
在一个实施例中,合并包括:
将待合并的信号路径从输入信号源开始与当前时钟网络中的节点进行对比,若存在相同的节点,则将当前时钟网络中的节点与待合并的信号路径中的合并后的前驱节点连接,待合并的信号路径中的后续节点从当前时钟网络中的相同节点处重复合并过程,直到待合并的信号路径中的所有节点都合并完成。
在一个实施例中,将待合并的信号路径从信号源开始与当前时钟网络中的节点进行对比之后,还包括:
若不存在相同的节点,则在当前时钟网络中新建该节点,并与待合并的信号路径中的合并后的前驱节点连接,待合并的信号路径中的后续节点从新建的节点处重复合并过程,直到待合并的信号路径中的所有节点都合并完成。
具体地,从得到的信号路径集合中任意选取一条作为初始化时钟网络,将余下的信号路径逐条合并至时钟网络中。合并过程如下:将待合并的信号路径从信号源开始与当前时钟网络中的节点进行对比,若存在相同的节点,则将时钟网络中的节点与信号路径中的合并后的前驱节点连接,信号路径中的后续节点从该时钟网络中的相同节点处重复合并过程。若不存在相同的节点,则在时钟网络中新建该节点,并与信号路径中的合并后的前驱节点连接,信号路径中的后续节点从该新建的节点处重复合并过程。直到信号路径中的所有节点都合并完成。
上述一种基于RTL网表的时钟网络提取方法,以RTL网表为必须输入,时钟信号源为可选输入,从RTL网表中的时序逻辑器件回溯推导,获取输入信号源到时序逻辑器件的信号路径并过滤;再通过提供的时钟源信息正向推导,得到时钟信号源到第一层时序节点的信号路径,解决门控时钟带来的路径混淆问题。最后对过滤后的输入信号源到时序逻辑器件的信号路径和时钟信号源到第一层时序节点的信号路径进行合并得到一个完整的时钟网络。
对设计中的时钟网络的分析和提取提供了一种高效的处理方法,能够方便地用于时钟相关分析方法和工具中,大幅提高传统人工分析方法的工作效率。
以上对本发明所提供的一种基于RTL网表的时钟网络提取方法进行了详细介绍。本文中应用了具体个例对本发明的原理及实施方式进行了阐述,以上实施例的说明只是用于帮助理解本发明的核心思想。应当指出,对于本技术领域的普通技术人员来说,在不脱离本发明原理的前提下,还可以对本发明进行若干改进和修饰,这些改进和修饰也落入本发明权利要求的保护范围内。
Claims (9)
1.一种基于RTL网表的时钟网络提取方法,其特征在于,所述方法包括以下步骤:
S100:获取RTL网表,收集所述RTL网表的所有时序逻辑器件,从所述RTL网表的时序逻辑器件回溯推导,得到输入信号源到时序逻辑器件的信号路径;
S200:获取配置文件,根据所述配置文件判断是否提供了时钟信号源,若是,根据所述时钟信号源进行正向推导,得到时钟信号源到第一层时序节点的信号路径;
S300:使用S200获得的所述时钟信号源到第一层时序节点的信号路径对S100中获得的所述输入信号源到时序逻辑器件的信号路径进行过滤,去除所述输入信号源到时序逻辑器件的信号路径中与所述时钟信号源到第一层时序节点的信号路径没有吻合的信号路径,得到过滤后的输入信号源到时序逻辑器件的信号路径;
S400:对所述过滤后的输入信号源到时序逻辑器件的信号路径和所述时钟信号源到第一层时序节点的信号路径进行合并,得到时钟网络。
2.根据权利要求1所述的方法,其特征在于,S100包括:
S110:获取RTL网表,收集所述RTL网表的所有时序逻辑器件,对每个时序逻辑器件的输入端口进行分析,筛选出时钟端口进行前向跟踪;
S120:在前向跟踪过程中,若遇到组合逻辑电路,则对所述组合逻辑电路的每个输入端口进行反向跟踪;若遇到时序逻辑器件,则选取所述时序逻辑器件的时钟端口进行反向跟踪,直至回溯到输入信号源,得到所述输入信号源到所述时序逻辑器件的信号路径。
3.根据权利要求2所述的方法,其特征在于,S200包括:
从时钟信号源出发,向后搜索与所述时钟信号源连接的信号线或器件,直到遇到时序逻辑器件,得到时钟信号源到第一层时序节点的信号路径。
4.根据权利要求3所述的方法,其特征在于,S300包括:
S310:从所述输入信号源到时序逻辑器件的信号路径中任选一条作为检查对象;
S320:使用所述时钟信号源到第一层时序节点的信号路径中的每一条与所述检查对象进行对比,如果路径存在部分重合则认可该路径,如果所有所述时钟信号源到第一层时序节点的信号路径中都没有与所述检查对象存在重合的路径,则舍弃所述检查对象;
S330:重复S310和S320,直到所有所述输入信号源到时序逻辑器件的信号路径均被检查完毕,得到过滤后的输入信号源到时序逻辑器件的信号路径。
5.根据权利要求4所述的方法,其特征在于,S400包括:
S410:从多条所述输入信号源到时序逻辑器件的信号路径和多条所述时钟信号源到第一层时序节点的信号路径中任选一条作为初始化时钟网络;
S420:将剩下的所有的信号路径合并至所述初始化时钟网络中,得到完整的时钟网络。
6.根据权利要求1所述的方法,其特征在于,S200中还包括:
若未提供时钟信号源,则对多条所述输入信号源到时序逻辑器件的信号路径进行合并,得到时钟网络。
7.根据权利要求6所述的方法,其特征在于,所述对多条所述输入信号源到时序逻辑器件的信号路径进行合并,得到时钟网络,包括:
从多条所述输入信号源到时序逻辑器件的信号路径任选一条作为初始化时钟网络;
将剩下的所有的信号路径合并至所述初始化时钟网络中,得到完整的时钟网络。
8.根据权利要求5或7所述的方法,其特征在于,所述合并包括:
将待合并的信号路径从所述输入信号源开始与当前时钟网络中的节点进行对比,若存在相同的节点,则将所述当前时钟网络中的节点与所述待合并的信号路径中的合并后的前驱节点连接,所述待合并的信号路径中的后续节点从所述当前时钟网络中的相同节点处重复合并过程,直到所述待合并的信号路径中的所有节点都合并完成。
9.根据权利要求8所述的方法,其特征在于,所述将待合并的信号路径从信号源开始与当前时钟网络中的节点进行对比之后,还包括:
若不存在相同的节点,则在所述当前时钟网络中新建该节点,并与所述待合并的信号路径中的合并后的前驱节点连接,所述待合并的信号路径中的后续节点从所述新建的节点处重复合并过程,直到所述待合并的信号路径中的所有节点都合并完成。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202310162381.2A CN115842615B (zh) | 2023-02-24 | 2023-02-24 | 一种基于rtl网表的时钟网络提取方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202310162381.2A CN115842615B (zh) | 2023-02-24 | 2023-02-24 | 一种基于rtl网表的时钟网络提取方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN115842615A CN115842615A (zh) | 2023-03-24 |
CN115842615B true CN115842615B (zh) | 2023-05-09 |
Family
ID=85580171
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202310162381.2A Active CN115842615B (zh) | 2023-02-24 | 2023-02-24 | 一种基于rtl网表的时钟网络提取方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN115842615B (zh) |
Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102968515A (zh) * | 2011-08-31 | 2013-03-13 | 国际商业机器公司 | 用于计算集成电路模型的验证覆盖率的方法和设备 |
CN105550459A (zh) * | 2015-12-29 | 2016-05-04 | 山东海量信息技术研究院 | 一种asic设计时钟网络提取系统 |
CN111553120A (zh) * | 2020-05-12 | 2020-08-18 | 北京华大九天软件有限公司 | 一种数字电路局部时钟网络spice网表的生成方法 |
CN111914502A (zh) * | 2020-08-11 | 2020-11-10 | 湖南泛联新安信息科技有限公司 | 一种基于rtl网表的复位网络提取方法 |
CN112036104A (zh) * | 2020-09-09 | 2020-12-04 | 湖南泛联新安信息科技有限公司 | 一种基于rtl网表的有限状态机识别及提取方法 |
CN112231998A (zh) * | 2020-10-14 | 2021-01-15 | 北京百瑞互联技术有限公司 | 一种集成电路的时钟网络抽取方法、装置及其存储介质 |
Family Cites Families (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US9305125B2 (en) * | 2014-03-03 | 2016-04-05 | Freescale Semiconductor, Inc. | Integrated circuit design timing path verification tool |
-
2023
- 2023-02-24 CN CN202310162381.2A patent/CN115842615B/zh active Active
Patent Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102968515A (zh) * | 2011-08-31 | 2013-03-13 | 国际商业机器公司 | 用于计算集成电路模型的验证覆盖率的方法和设备 |
CN105550459A (zh) * | 2015-12-29 | 2016-05-04 | 山东海量信息技术研究院 | 一种asic设计时钟网络提取系统 |
CN111553120A (zh) * | 2020-05-12 | 2020-08-18 | 北京华大九天软件有限公司 | 一种数字电路局部时钟网络spice网表的生成方法 |
CN111914502A (zh) * | 2020-08-11 | 2020-11-10 | 湖南泛联新安信息科技有限公司 | 一种基于rtl网表的复位网络提取方法 |
CN112036104A (zh) * | 2020-09-09 | 2020-12-04 | 湖南泛联新安信息科技有限公司 | 一种基于rtl网表的有限状态机识别及提取方法 |
CN112231998A (zh) * | 2020-10-14 | 2021-01-15 | 北京百瑞互联技术有限公司 | 一种集成电路的时钟网络抽取方法、装置及其存储介质 |
Non-Patent Citations (1)
Title |
---|
袁媛,谢巍,刘明业.RTL综合系统设计中时序逻辑综合的实现方法.微电子学与计算机.2001,(01),全文. * |
Also Published As
Publication number | Publication date |
---|---|
CN115842615A (zh) | 2023-03-24 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US8793644B2 (en) | Display and automatic improvement of timing and area in a network-on-chip | |
KR101302879B1 (ko) | 시스템 온 칩의 적어도 일부의 테스팅을 가능하게 하는 방법과 장치 및 컴퓨터 판독 가능한 저장 매체 | |
KR101204138B1 (ko) | 시스템 온 칩을 기술하고 테스트하는 방법 및 장치 | |
US7984400B2 (en) | Techniques for use with automated circuit design and simulations | |
US20030125920A1 (en) | LSI design verification apparatus, LSI design verification method, and LSI design verification program | |
US20080127009A1 (en) | Method, system and computer program for automated hardware design debugging | |
CN113569524B (zh) | 芯片设计中基于综合网表提取时钟树的方法及应用 | |
US7822591B2 (en) | Logic circuit model conversion apparatus and method thereof; and logic circuit model conversion program | |
KR20100084569A (ko) | 테스팅 방법 | |
CN111914502A (zh) | 一种基于rtl网表的复位网络提取方法 | |
US20160283628A1 (en) | Data propagation analysis for debugging a circuit design | |
JPH11328251A (ja) | モデル検査のための動作環境を自動的に生成する方法 | |
CN111553120A (zh) | 一种数字电路局部时钟网络spice网表的生成方法 | |
CN115185528A (zh) | 一种用于vhdl可编程逻辑设计的跨时钟域静态分析系统 | |
CN115842615B (zh) | 一种基于rtl网表的时钟网络提取方法 | |
CN116776793B (zh) | 静态时序分析和前仿真相结合的多周期路径约束验证方法 | |
CN110442929A (zh) | 一种基于perl实现芯片系统顶层自动例化的方法 | |
Reinsalu et al. | Fast RTL fault simulation using decision diagrams and bitwise set operations | |
US6505338B1 (en) | Computer readable medium with definition of interface recorded thereon, verification method for feasibility to connect given circuit and method of generating signal pattern | |
JP2004171149A (ja) | マルチサイクルパス解析方法 | |
CN111460747B (zh) | 一种用于集成电路设计的标准单元追踪方法 | |
CN117150995B (zh) | 驱动源码追踪方法、电子设备和介质 | |
CN112231998A (zh) | 一种集成电路的时钟网络抽取方法、装置及其存储介质 | |
Arias et al. | RTSEC: Automated RTL code augmentation for hardware security enhancement | |
Skarman et al. | Enhancing Compiler-Driven HDL Design with Automatic Waveform Analysis |
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 |