Vivado Incremental(增量)是Xilinx FPGA设计工具中的一种功能,它允许对设计的一部分进行修改和重新编译,而不需要对整个设计进行重新编译。这种增量式的方法可以显著减少编译时间,特别是在进行小的修改或迭代开发时。
一、Incremental Implementation(增量实现)
增量实现是指增量编译设计流程中的实现阶段,它具有以下特点:
• 通过重用参考设计的先前布局和布线来保持质量和性能(QoR)的可预测性。
• 加快布局和路由的运行时间,或尝试在最后阶段实现时序闭合。
以下图中提供了增量实现设计流程的示意图。
1、Incremental Implementation Flow Designs(增量实现流程设计)
增量实现流程设计允许在现有设计的基础上进行修改和扩展,可以针对特定的设计目标或约束进行局部优化,而不是从头开始重新进行整个设计流程。通过重用先前的布局和布线信息,增量实现可以显著提高设计效率,减少设计周期,并有助于保持设计的质量和性能。这对于需要频繁迭代和修改的设计项目来说尤为有用。
如图2-31所示,增量运行需要一个参考检查点(checkpoint)作为起点来启动增量布局和布线。使用read_checkpoint -incremental .dcp命令可以启动增量流程,并且必须在place_design之前执行。
2、参考设计
参考设计通常是一个来自先前迭代或增量设计的不同变体的完全路由检查点。如果使用不同的变体或设计,重要的是确保参考设计中的层次结构名称与增量设计相匹配。当需要较低级别的重用时,例如仅重用RAM和DSP块的布局,参考检查点中只需包含这些单元的布局信息即可。参考设计必须与设备匹配。虽然建议工具版本也匹配,但这并不是必须的。
3、增量设计
增量设计是要通过实现工具运行的更新设计。它可以包括RTL更改、网表更改或两者都有。
允许更改约束,但一般来说,约束的收紧会对布局和布线产生重大影响,因此最好在增量流程之外进行更改。在增量实现流程中,如果约束过于严格,可能会导致布局和布线失败或性能下降。因此,在添加新的约束之前,应该仔细评估其对设计的影响,并在必要时进行适当的权衡和调整。
4、增量指令
控制增量流程行为的指令有三种。增量指令通过以下命令设置:
read_checkpoint -directive <directiveName> <reference>.dcp
①RuntimeOptimized
试图尽可能重用参考运行中的布局和布线信息。时序目标将与参考运行相同。如果参考运行的WNS(Worst Negative Slack,最差负裕量)为-0.050,那么增量运行将不会尝试在此设计上关闭时序,而是也将目标设为-0.050。这仅影响建立时间。当未指定任何指令时,这是默认行为。
②TimingClosure
将重用参考设计中的布局和布线,但会拆除不满足时序的路径并尝试关闭它们。为了尽可能获得时序改进,会运行一些运行时间密集型的算法,但由于布局在很大程度上是预先给出的,因此增益有限。这种技术对于参考WNS大于-0.250 ns的设计可能有效。
为了进一步提高时序闭合的可能性,可以运行report_qor_suggestions来生成自动设计增强建议。
③Quick
它在布局和布线过程中不调用计时器,而是使用相关逻辑的布局作为指导。这是最快的模式,但不适用于大多数设计。要使Quick模式有效,设计的WNS(最差负裕量)需要大于1.000 ns。这通常适用于ASIC仿真或原型设计。
注意:在2019.1及更早的版本中,通过在place_design和route_design中使用指令映射可以实现相同的行为。Explore指令映射到TimingClosure,Quick映射到Quick,其他指令映射到RuntimeOptimized。
2019.1及更早版本升级的用户,如果在place_design中指定了Explore或Quick指令,需要在2020.1中指定增量指令,以实现相同的功能。
二、Incremental Modes(增量模式)
通常情况下,增量实现工作在三种模式之一:自动模式、高复用模式或低复用模式。
1、自动增量
实现允许用户激活增量实现流程,但在发出read_checkpoint -auto_incremental命令时,由Vivado决定是使用默认算法还是增量算法。这个决定基于参考检查点的质量。
为了接受参考检查点,必须满足以下标准:
• 94% cell matching
• 90% net matching
• WNS > -0.250
通过保证了一个良好的参考检查点,增量流程可以获得良好的QoR(质量优化结果),而当检查点质量较差时,则会寻找新的布局和路由解决方案。
在project 模式下,检查点的更新也由系统管理,并遵循上述标准。在non-project模式下,用户可以控制是否更新检查点。
该流程通过以下命令激活:
read_checkpoint -incremental -auto_incremental <reference>.dcp
在更新检查点时,值得检查以确保WNS(最差负裕量)没有降低到不可接受的限度之外。这可以通过在实现流程的末尾运行以下命令来完成:
if {[get_property SLACK [get_timing_path]] > -0.250} { file copy -force <postroute>.dcp <reference>.dcp }
2、高复用模式
如果单元复用率高于75%,则运行增量实现。当单元复用率低于此值时,布局信息不会被复用,流程将继续使用默认算法。目标WNS由参考检查点和指令共同确定。
对于高复用模式,当place_design开始后,日志文件将打印以下消息:
INFO: [Place 46-42] Incremental Compile is being run in High Reuse Mode.
注意:上述TCL代码中的.dcp和.dcp是占位符,实际使用时需要替换为具体的检查点文件名。同样,.dcp和.dcp需要根据用户的项目实际情况来命名和生成。此外,上述TCL代码片段仅用于说明增量实现的检查点更新和高复用模式的概念,实际使用时可能需要更复杂的逻辑和错误处理。
3、低复用模式
复用由read_checkpoint -reuse_object -incremental .dcp开关确定。在这种模式下:
• 用户可以指定要复用的单元类型、层次化单元、时钟区域和SLR(Slice Logic Region,切片逻辑区域)。
• 目标WNS(最差负裕量)始终为0。
• 增量指令将被忽略,而使用默认布局和路由算法的指令。
低复用模式在设计的特定区域对布局和路由有挑战时最为有效。
使用场景示例包括:
• 从一次成功的运行中复用块存储器或DSP(数字信号处理)的布局,可以提高每次布局和路由迭代中成功运行的总次数。
• 复用间歇性满足时序的特定层次级别。
要确定工具是否处于低复用模式,可以在place_design开始后检查日志文件,查找以下消息:
INFO: [Place 46-42] Incremental Compile is being run in Low Reuse Mode.
请注意,上述TCL代码中的和.dcp是占位符,实际使用时需要替换为具体的对象列表和参考检查点文件名。同样,.dcp需要根据用户的项目实际情况来命名和生成。此外,上述TCL代码片段仅用于说明低复用模式的概念,实际使用时可能需要更复杂的逻辑和错误处理。