本发明专利技术公开了一种基于RTL网表的时钟网络提取方法，以RTL网表为必须输入，时钟信号源为可选输入，从RTL网表中的时序逻辑器件回溯推导，获取输入信号源到时序逻辑器件的信号路径并过滤；再通过提供的时钟源信息正向推导，得到时钟信号源到第一层时序节点的信号路径，解决门控时钟带来的路径混淆问题。最后对过滤后的输入信号源到时序逻辑器件的信号路径和所述时钟信号源到第一层时序节点的信号路径进行合并得到一个完整的时钟网络。对设计中的时钟网络的分析和提取提供了一种高效的处理方法，能够方便地用于时钟相关分析方法和工具中，大幅提高传统人工分析方法的工作效率。大幅提高传统人工分析方法的工作效率。大幅提高传统人工分析方法的工作效率。
【技术实现步骤摘要】
一种基于RTL网表的时钟网络提取方法
[0001]本专利技术属于电子设计自动化
，特别是涉及一种基于RTL网表的时钟网络提取方法。
技术介绍
[0002]当数字信号跨时钟域传输时，就会产生亚稳态问题。亚稳态是指触发器无法在某个规定时间段内达到一个可确认的状态。每一个触发器都有其规定的建立和保持时间参数, 在这个时间窗口内，输入信号在时钟的上升沿是不允许发生改变的。如果触发器的数据输入端口上数据在这个时间窗口内发生变化（或者数据更新），那么就会产生时序违规，触发器的输出将徘徊在不可预知的电平状态，即亚稳态。随着设计的复杂度越来越高，多时钟域的使用也越来越普遍。因此，跨时钟域导致的设计错误问题日渐突显。而跨时钟域分析的首要任务就是对设计中的时钟网络进行提取。
[0003]传统的时钟网络提取是通过人工完成的。随着设计规模的不断扩大，逻辑功能越来越复杂，人工分析的效率和准确性都大打折扣。
技术实现思路
[0004]针对以上技术问题，本专利技术提供一种基于RTL网表的时钟网络提取方法。
[0005]本专利技术解决其技术问题采用的技术方案是：一种基于RTL网表的时钟网络提取方法，方法包括以下步骤：S100：获取RTL网表，收集RTL网表的所有时序逻辑器件，从RTL网表的时序逻辑器件回溯推导，得到输入信号源到时序逻辑器件的信号路径；S200：获取配置文件，根据配置文件判断是否提供了时钟信号源，若是，根据时钟信号源进行正向推导，得到时钟信号源到第一层时序节点的信号路径；S300：使用S200获得的时钟信号源到第一层时序节点的信号路径对S100中获得的输入信号源到时序逻辑器件的信号路径进行过滤，去除输入信号源到时序逻辑器件的信号路径中与时钟信号源到第一层时序节点的信号路径没有吻合的信号路径，得到过滤后的输入信号源到时序逻辑器件的信号路径；S400：对过滤后的输入信号源到时序逻辑器件的信号路径和时钟信号源到第一层时序节点的信号路径进行合并，得到时钟网络。
[0006]优选地，S100包括：S110：获取RTL网表，收集RTL网表的所有时序逻辑器件，对每个时序逻辑器件的输入端口进行分析，筛选出时钟端口进行前向跟踪；S120：在前向跟踪过程中，若遇到组合逻辑电路，则对组合逻辑电路的每个输入端口进行反向跟踪；若遇到时序逻辑器件，则选取时序逻辑器件的时钟端口进行反向跟踪，直至回溯到输入信号源，得到输入信号源到时序逻辑器件的信号路径。
[0007]优选地，S200包括：
从时钟信号源出发，向后搜索与时钟信号源连接的信号线或器件，直到遇到时序逻辑器件，得到时钟信号源到第一层时序节点的信号路径。
[0008]优选地，S300包括：S310：从输入信号源到时序逻辑器件的信号路径中任选一条作为检查对象；S320：使用时钟信号源到第一层时序节点的信号路径中的每一条与检查对象进行对比，如果路径存在部分重合则认可该路径，如果所有时钟信号源到第一层时序节点的信号路径中都没有与检查对象存在重合的路径，则舍弃检查对象；S330：重复S310和S320，直到所有输入信号源到时序逻辑器件的信号路径均被检查完毕，得到过滤后的输入信号源到时序逻辑器件的信号路径。
[0009]优选地，S400包括：S410：从多条输入信号源到时序逻辑器件的信号路径和多条时钟信号源到第一层时序节点的信号路径中任选一条作为初始化时钟网络；S420：将剩下的所有的信号路径合并至初始化时钟网络中，得到完整的时钟网络。
[0010]优选地，S200中还包括：若未提供时钟信号源，则对多条输入信号源到时序逻辑器件的信号路径进行合并，得到时钟网络。
[0011]优选地，对多条输入信号源到时序逻辑器件的信号路径进行合并，得到时钟网络，包括：从多条输入信号源到时序逻辑器件的信号路径任选一条作为初始化时钟网络；将剩下的所有的信号路径合并至初始化时钟网络中，得到完整的时钟网络。
[0012]优选地，合并包括：将待合并的信号路径从输入信号源开始与当前时钟网络中的节点进行对比，若存在相同的节点，则将当前时钟网络中的节点与待合并的信号路径中的合并后的前驱节点连接，待合并的信号路径中的后续节点从当前时钟网络中的相同节点处重复合并过程，直到待合并的信号路径中的所有节点都合并完成。
[0013]优选地，将待合并的信号路径从信号源开始与当前时钟网络中的节点进行对比之后，还包括：若不存在相同的节点，则在当前时钟网络中新建该节点，并与待合并的信号路径中的合并后的前驱节点连接，待合并的信号路径中的后续节点从新建的节点处重复合并过程，直到待合并的信号路径中的所有节点都合并完成。
[0014]上述一种基于RTL网表的时钟网络提取方法，以RTL网表为必须输入，时钟信号源为可选输入，从RTL网表中的时序逻辑器件回溯推导，获取输入信号源到时序逻辑器件的信号路径并过滤；再通过提供的时钟源信息正向推导，得到时钟信号源到第一层时序节点的信号路径，解决门控时钟带来的路径混淆问题；最后对过滤后的输入信号源到时序逻辑器件的信号路径和时钟信号源到第一层时序节点的信号路径进行合并得到一个完整的时钟网络。
[0015]对设计中的时钟网络的分析和提取提供了一种高效的处理方法，能够方便地用于时钟相关分析方法和工具中，大幅提高传统人工分析方法的工作效率。
附图说明
[0016]图1为本专利技术一实施例中提供的一种基于RTL网表的时钟网络提取方法流程图；图2为本专利技术一实施例中提供的一种正向推导解决回溯推导导致的门控时钟混淆问题的示意图；图3为本专利技术另一实施例中提供的一种基于RTL网表的时钟网络提取方法流程图。
具体实施方式
[0017]为了使本
的人员更好地理解本专利技术的技术方案，下面结合附图对本专利技术作进一步的详细说明。
[0018]在一个实施例中，如图1所示，一种基于RTL网表的时钟网络提取方法，方法包括以下步骤：S100：获取RTL网表，收集RTL网表的所有时序逻辑器件，从RTL网表的时序逻辑器件回溯推导，得到输入信号源到时序逻辑器件的信号路径。
[0019]具体地，RTL在电子科学中指的是寄存器转换级电路（Register Transfer Level）的缩写，也叫暂存器转移层次。
[0020]在一个实施例中，S100包括：S110：获取RTL网表，收集RTL网表的所有时序逻辑器件，对每个时序逻辑器件的输入端口进行分析，筛选出时钟端口进行前向跟踪；S120：在前向跟踪过程中，若遇到组合逻辑电路，则对组合逻辑电路的每个输入端口进行反向跟踪；若遇到时序逻辑器件，则选取时序逻辑器件的时钟端口进行反向跟踪，直至回溯到输入信号源，得到输入信号源到时序逻辑器件的信号路径。
[0021]具体地，从时序节点的时钟端口出发，向前搜索与该端口连接的信号线或器件，遇到组合逻辑器件（没有时钟驱动端口的器件）则继续向前搜索其所有输入端口，遇到时序逻辑器件（带有时钟驱动端口的器件）则继续向前探索其时钟端口，直到搜索至输入信号源，即该信号线不再有前驱本文档来自技高网...
【技术保护点】
【技术特征摘要】
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：使用所述时钟信号源到第一层时序节点的信号路径中的每一条与所述检查对象进行对比，如果路径存在部分重合则认可该路径，如果...
【专利技术属性】
技术研发人员：陈都，李立，
申请(专利权)人：湖南泛联新安信息科技有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。