时序违例在FPGA开发流程的分析及解决,结合实际工程

2023-10-10 07:10

本文主要是介绍时序违例在FPGA开发流程的分析及解决,结合实际工程,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

一.概述

时序违例的解决可以分为几个阶段,布局前,布线前,布线后。我们从这几个阶段对时序违例进行分析以及提出解决方法。(参考ug1292和ug949)。时序违例包括建立时间违例和保持时间为例,主要关注建立时间违例,保持时间违例是由于组合逻辑太短和时钟偏移造成的,可以通过布线时绕线以及BUFG解决。但是布线时过多的绕线会影响布线时对拥塞的解决程度。可以通过在布线前插入LUT(布局后使用phys_opt_design -hold_fix ),使关键路径的保持时间符合要求,减少布线时的绕线,而专注解决拥塞。

二.分析

2.1布局前

布局前的时序分析可以打开综合后的dcp或者opt以后的dcp文件,然后控制台输入report_time_summary,即可看到列出了时序路径,该阶段时序报告反映的是以下情况下的设计性能:假定每条逻辑路径均达到最理想逻辑布局 。如果出现不符合的路径,则关注扇出和资源利用率,进行设计的初步检查:

  1. 是否有太多阻碍逻辑优化的综合属性(mark_debug,keep,dont_touch)

  1. 是否扇出过大(report_high_fanout_nets)

  1. 关键路径的RTL代码设计是否合理

  1. 资源利用率是否符合要求(块 RAM 利用率较高,而 LUT/FF 利用率较低,那么 设计仍可能出现布局问题 ,对于块 RAM 利用率达 70% 的设计,如果在 SLR 间未平衡块 RAM 资源并且其中 1 个 SLR 的块 RAM 利用率超过 85% ,也可能出现时序问题)

  1. 时序约束是否合理。

  1. 逻辑级数和延时是否太高(通常要求:逻辑级数<时钟周期(ns)* 2)

解决方法:

对于a,去除没有必要的综合属性。

对于b,可以使用max_fanout综合属性进行约束,或者手动复制寄存器,对于复位的高扇出,可以使用BUFG,以及少用复位,多用reg赋初值。

对于c:

1.用LUT实现大位宽数据存储,毕竟每个LUT只提供1bit输出,256的位宽意味着至少需要256个LUT,而这些LUT必然分布在不同列的SLICEM中,无论对布线还是时序都会带来负面影响。

博主在做双令牌桶算法时,就用LUT存储128位的数据,深度为32或64。需用RAM对此算法进行优化。

2.这一点,这个博主写得很不错。

(1)应该尽量保证每一个always块的判断条件简洁(判断条件中尽量只进行逻辑判断,尽量避免逻辑运算)

(2)应该尽量保证每一个always块的判断条件中的每一个变量都是直接来源于某个always块输出信号,尽量避免将组合逻辑的输出直接作为某个always块的判断条件的一部分,这样就可以保证每一个always块的输入信号的延时比较固定,有利于时序收敛。

(3)应该尽量保证每一个always块的赋值语句中的被赋值变量都是直接来源于某个always块输出信号,尽量避免将组合逻辑的输出直接作为某个always块的赋值语句中的一部分,这样就可以保证每一个always块的输入信号的延时比较固定,有利于时序收敛。

原文链接:https://blog.csdn.net/gemengxia/article/details/108442927

对于d:做一些资源优化

1.大ram分成小ram加小ram

2.分布式ram配置到集中式ram配置

3.LUT转RAM

4.平衡SRL间利用率

对于e:

1.设置伪路径

2.设置异步时钟组

3.设置多周期路径

对于f:

通常使用流水寄存器,重定时,操作数平衡,case代替if..else(vivado中if else会多用LUT),关键信号后移,opt使用-remap(lut逻辑优化)等方式进行逻辑级数和延时的减少。

2.2布线前

布线前的时序分析可以打开布局后的dcp,然后控制台输入report_time_summary,即可看到列出了时序路径,该阶段时序报告反映的是假定每条单独信号线均达到最理想布线延迟, 不考虑保持时间修复的造成的影响(信号线布线绕行)或拥塞 。

  1. 器件或 SLR 利用率 过高。

  1. 复杂逻辑导致的布局拥塞。

  1. 时钟间的时钟偏差或时钟不确定性过高 。

解决方法:

对于a,如果资源总体利用率大于 70-80%,通过移除部分设计功能,或者将部分模块或内核迁移到另一个 SLR,可降低器件或 SLR 利用 率 。

对于b,逻辑是否可以优化

在 Explore 模式或 AggressiveExplore 模式下运行 phys_opt_design,尝试提升执行 place_design 后的 QoR 。

2.3布线后

打开布线后的dcp,布线 后的严重的建立时间 (WNS) 或保持时间 (WHS) 违例是由拥塞过高导致的结果 。

解决方法:

(1)可以通过在布线前插入LUT(布局后使用phys_opt_design -hold_fix),使关键路径的保持时间符合要求,减少布线时的绕线,而专注解决拥塞。

(2)如果资源总体利用率大于 70-80%,通过移除部分设计功能,或者将部分模块或内核迁移到另一个 SLR,可降低器件或 SLR 利用 率。

(3)尝试使用不同的实现策略。

(4)执行 route_design 后,尝试运行 phys_opt_design 。

2.4vivado 时序表分析

打开每个阶段的timing,都能看到关键路径的时序违例情况,还可以看到每条路径的属性。

几个关键参数:

  1. 逻辑延迟,对于xilinx 7系列fpga,不超过25%

  1. 线延迟,对于xilinx 7系列fpga,不超过75%

  1. 时钟偏移,应大于-0.5(如果此值大,对于修复建立时间违例有利)

  1. 时钟不确定性,应小于0.1

  1. 逻辑级数 logic levels

解决方法:

对于a:逻辑延迟的减少可以由布线前的a解决方法解决。

对于b:线延迟需要看是否受到拥塞影响,report_design_analysis -congestion -name wx可以得到拥塞分布图,东西南北4个方向小于5就正常,布线后的拥塞还分为全局,长,短拥塞,可以通过看关键路径是否通过拥塞区域进行判断违例是否受到拥塞影响,下图中不影响,而且拥塞等级低。

布局后拥塞

布线后拥塞

如果没有受到影响,需要减少控制集,例如

(1)去掉复位/使能/置位的max_fanout属性,或者去掉不该用的复位

(2)使用opt_design –control_set_merge or –merge_equivalent_drivers 合并复制的控制信号

如果受到影响,需要:

(1)检查关键信号是否扇出>10 ,减少扇出。

对于c:

(1)选择时序路径,启用“Clock Path Visualization”工具栏按钮 ,打开原理图 (F4) 以复查时钟逻辑,如果是级联缓冲器,那么使用并行缓冲器代替级联缓冲器 ,在时钟路径中移除 LUT 或任何组合逻辑 ,缓冲器使用的合理性,在时序报告中也有体现。

(2)使用 CLOCK_DELAY_GROUP 。

(3)在异步时钟间添加时钟组 。

对于d:

MMCM或者PLL选择最小输出抖动。

对于e:

参考2.1中的f解决方法。

2.5report_qor_suggestions

通过report_qor_suggestions可以在分析关键路径的基础上给出优化建议,以xdc或tcl文件的形式给出来。上图是report_qor_suggestions给出的结果,该路径的时钟偏移太大,发现是由于异步时钟组没有约束的原因。

小结:

本文介绍了VIVADO各个阶段所要注意的影响时序的因素,并根据时序报告的几个重要参数给出相应解决方法。

这篇关于时序违例在FPGA开发流程的分析及解决,结合实际工程的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/178820

相关文章

Spring Boot + MyBatis Plus 高效开发实战从入门到进阶优化(推荐)

《SpringBoot+MyBatisPlus高效开发实战从入门到进阶优化(推荐)》本文将详细介绍SpringBoot+MyBatisPlus的完整开发流程,并深入剖析分页查询、批量操作、动... 目录Spring Boot + MyBATis Plus 高效开发实战:从入门到进阶优化1. MyBatis

Python基于wxPython和FFmpeg开发一个视频标签工具

《Python基于wxPython和FFmpeg开发一个视频标签工具》在当今数字媒体时代,视频内容的管理和标记变得越来越重要,无论是研究人员需要对实验视频进行时间点标记,还是个人用户希望对家庭视频进行... 目录引言1. 应用概述2. 技术栈分析2.1 核心库和模块2.2 wxpython作为GUI选择的优

Spring事务中@Transactional注解不生效的原因分析与解决

《Spring事务中@Transactional注解不生效的原因分析与解决》在Spring框架中,@Transactional注解是管理数据库事务的核心方式,本文将深入分析事务自调用的底层原理,解释为... 目录1. 引言2. 事务自调用问题重现2.1 示例代码2.2 问题现象3. 为什么事务自调用会失效3

mysql出现ERROR 2003 (HY000): Can‘t connect to MySQL server on ‘localhost‘ (10061)的解决方法

《mysql出现ERROR2003(HY000):Can‘tconnecttoMySQLserveron‘localhost‘(10061)的解决方法》本文主要介绍了mysql出现... 目录前言:第一步:第二步:第三步:总结:前言:当你想通过命令窗口想打开mysql时候发现提http://www.cpp

SpringBoot启动报错的11个高频问题排查与解决终极指南

《SpringBoot启动报错的11个高频问题排查与解决终极指南》这篇文章主要为大家详细介绍了SpringBoot启动报错的11个高频问题的排查与解决,文中的示例代码讲解详细,感兴趣的小伙伴可以了解一... 目录1. 依赖冲突:NoSuchMethodError 的终极解法2. Bean注入失败:No qu

找不到Anaconda prompt终端的原因分析及解决方案

《找不到Anacondaprompt终端的原因分析及解决方案》因为anaconda还没有初始化,在安装anaconda的过程中,有一行是否要添加anaconda到菜单目录中,由于没有勾选,导致没有菜... 目录问题原因问http://www.chinasem.cn题解决安装了 Anaconda 却找不到 An

Spring定时任务只执行一次的原因分析与解决方案

《Spring定时任务只执行一次的原因分析与解决方案》在使用Spring的@Scheduled定时任务时,你是否遇到过任务只执行一次,后续不再触发的情况?这种情况可能由多种原因导致,如未启用调度、线程... 目录1. 问题背景2. Spring定时任务的基本用法3. 为什么定时任务只执行一次?3.1 未启用

springboot报错Invalid bound statement (not found)的解决

《springboot报错Invalidboundstatement(notfound)的解决》本文主要介绍了springboot报错Invalidboundstatement(not... 目录一. 问题描述二.解决问题三. 添加配置项 四.其他的解决方案4.1 Mapper 接口与 XML 文件不匹配

利用Python开发Markdown表格结构转换为Excel工具

《利用Python开发Markdown表格结构转换为Excel工具》在数据管理和文档编写过程中,我们经常使用Markdown来记录表格数据,但它没有Excel使用方便,所以本文将使用Python编写一... 目录1.完整代码2. 项目概述3. 代码解析3.1 依赖库3.2 GUI 设计3.3 解析 Mark

Python中ModuleNotFoundError: No module named ‘timm’的错误解决

《Python中ModuleNotFoundError:Nomodulenamed‘timm’的错误解决》本文主要介绍了Python中ModuleNotFoundError:Nomodulen... 目录一、引言二、错误原因分析三、解决办法1.安装timm模块2. 检查python环境3. 解决安装路径问题