FPGA综合优化：KEEP与DONT_TOUCH属性详解
1. FPGA设计中的综合优化基础
在FPGA设计流程中，综合阶段是将RTL代码转换为门级网表的关键步骤。Xilinx Vivado等综合工具会默认执行各种优化操作以提高设计性能并减少资源占用。这些优化包括但不限于：常量传播、寄存器合并、冗余逻辑消除等。虽然这些优化通常是有益的，但在某些特定场景下，我们需要更精细地控制综合工具的行为。
综合优化的核心目标是平衡三个关键因素：时序性能（Timing）、资源利用率（Area）和功耗（Power）。工具会根据设计约束自动进行权衡，但有时自动优化可能与设计者的意图相冲突。例如，当我们需要保留特定信号用于调试，或者需要确保某些关键路径不被工具改变时，就需要使用特殊的综合属性来指导工具行为。
2. KEEP属性详解与应用场景
2.1 KEEP属性的工作机制
KEEP是Xilinx FPGA设计中最常用的综合属性之一，它的核心作用是告诉综合工具："保留这个信号，不要对它进行优化"。具体来说，当我们在代码中对某个信号应用KEEP属性后：
- 综合工具会保留该信号的完整结构，不会将其优化掉或与其他信号合并
- 该属性仅作用于综合阶段，不会传递到后续的布局布线阶段
- 信号的物理实现（如最终是否被优化）仍可能受布局布线工具的影响
在Verilog中应用KEEP属性的典型语法如下：
(* keep = "true" *) wire debug_signal;在VHDL中则是：
attribute keep : string; attribute keep of debug_signal : signal is "true";2.2 KEEP的典型应用场景
KEEP属性在以下场景中特别有用：
调试信号保留：在设计验证阶段，我们经常需要观察某些中间信号的状态。使用KEEP可以确保这些信号不会被优化掉，方便在综合后仿真或硬件调试中使用。
关键路径保护：对于某些对时序特别敏感的路径，设计者可能希望保持其原始结构不变，防止综合工具的改变影响时序特性。
IP核接口信号：当集成第三方IP核时，有时需要确保接口信号不被优化，以维持预期的功能行为。
2.3 KEEP使用注意事项
虽然KEEP属性很有用，但使用时需要注意以下几点：
资源影响：保留不必要的信号会增加设计资源占用，特别是当大量使用KEEP时，可能导致LUT和寄存器使用量显著增加。
RAM输出寄存器问题：如文档中特别指出的，在RAM输出寄存器上使用KEEP会阻止该寄存器被合并到RAM中，从而阻止块RAM的推断。这可能导致设计使用更多分布式RAM而非更高效的块RAM资源。
层次结构边界：避免在驱动三态输出或双向信号的层次结构上使用KEEP，这会阻止IOBUF的正确推断。
3. DONT_TOUCH属性深度解析
3.1 DONT_TOUCH与KEEP的关键区别
DONT_TOUCH属性比KEEP更"强势"，它不仅影响综合阶段，还会传递到布局布线阶段。两者的主要区别包括：
- 作用范围：KEEP仅影响综合阶段，而DONT_TOUCH影响整个实现流程
- 优化限制：DONT_TOUCH完全禁止工具对标记对象进行任何优化
- 层次结构影响：DONT_TOUCH可以应用于信号或层次结构，产生不同效果
3.2 DONT_TOUCH的层次化应用
DONT_TOUCH的行为会根据其应用对象（信号或层次结构）而有所不同：
应用于信号时：
- 该特定信号会被保留
- 其驱动逻辑和负载逻辑仍可能被优化
- 相当于一个"更强"的KEEP
应用于层次结构时：
- 该层次结构的边界会被保留（无常量传播穿过层次）
- 层次内部的优化仍然可以进行
- 特别适用于需要保持接口稳定的模块
3.3 DONT_TOUCH的典型应用模式
IP核保护：当设计中包含预综合的IP核或第三方模块时，使用DONT_TOUCH可以确保这些模块的接口和行为不被改变。
时钟网络：对于手动优化的时钟网络，DONT_TOUCH可以防止工具对其结构进行修改。
跨时钟域信号：需要保持完整的跨时钟域信号路径，确保同步链不被优化。
物理综合保留：在phys_opt_design阶段，DONT_TOUCH标记的对象不会被修改。
4. 属性应用的实践技巧与陷阱规避
4.1 属性声明的最佳实践
在实际项目中，推荐以下属性使用方式：
- 统一管理：在单独的约束文件（XDC）中集中管理属性设置，而不是分散在代码各处。例如：
set_property keep true [get_nets {debug_signal}] set_property dont_touch true [get_cells {ip_instance}]- 版本控制：为调试属性添加注释说明，便于后续维护：
# Debug signal for SPI monitoring - can be removed in production set_property keep true [get_nets {spi_debug}]- 条件应用：使用TCL条件语句根据需要启用/禁用属性：
if {$debug_mode} { set_property keep true [get_nets {debug_*}] }4.2 常见问题与解决方案
属性不生效：
- 检查属性拼写是否正确（如keep vs KEEP）
- 确认属性应用的对象存在且名称匹配
- 验证属性是否应用在正确的设计阶段
意外资源增加：
- 定期检查属性使用情况，移除不再需要的属性
- 使用report_utilization比较属性前后的资源变化
时序恶化：
- 避免在关键路径上过度使用DONT_TOUCH
- 考虑使用KEEP替代DONT_TOUCH以获得一定优化空间
4.3 三态信号与层次结构的特殊处理
如文档中强调的，在三态信号和层次结构边界使用这些属性需要特别小心：
三态信号问题：
- 在驱动三态输出的层次结构上使用DONT_TOUCH会阻止IOBUF推断
- 解决方案是避免在这些层次使用属性，或在RTL中显式实例化IOBUF
层次边界常量传播：
- 层次结构上的DONT_TOUCH会阻止常量传播穿过层次
- 这可能导致优化机会的丧失，需要权衡接口稳定性和优化需求
5. MAX_FANOUT属性的协同使用
5.1 MAX_FANOUT基础
MAX_FANOUT是另一个常用的综合属性，它强制综合工具复制逻辑以满足指定的扇出限制。基本语法如下：
set_property max_fanout 32 [get_nets {high_fanout_net}]5.2 与KEEP/DONT_TOUCH的交互
当MAX_FANOUT与KEEP/DONT_TOUCH一起使用时，需要注意以下限制：
输入信号限制：MAX_FANOUT不能应用于设计的直接输入信号，因为工具无法复制输入端口
DONT_TOUCH冲突：
- 如果MAX_FANOUT应用于被DONT_TOUCH寄存器驱动的信号
- 或者信号驱动了带有DONT_TOUCH属性的层次结构
- 在这些情况下，MAX_FANOUT约束将被忽略
5.3 扇出控制策略建议
综合阶段保守使用：如文档建议，在综合阶段谨慎使用MAX_FANOUT，因为此时工具对实际布局缺乏了解
物理优化优先：利用phys_opt_design进行扇出控制，此时工具基于实际布局信息能做出更优决策
手动寄存器复制：对于特别关键的髙扇出网络，考虑在RTL中手动插入寄存器复制，获得更精确的控制
6. 设计流程中的属性管理策略
6.1 基于设计阶段的属性管理
不同设计阶段应有不同的属性使用策略：
RTL开发阶段：
- 最小化使用属性，保持设计灵活性
- 仅对已知的关键信号应用属性
综合验证阶段：
- 添加必要的调试信号保留
- 评估属性对时序和资源的影响
实现阶段：
- 移除不必要的调试属性
- 强化关键路径的保护
6.2 团队协作中的属性规范
在团队项目中，建议建立统一的属性使用规范：
命名约定：如"dbg_"前缀表示调试信号，"keep_"前缀表示需要保留的信号
文档记录：维护属性使用清单，说明每个属性的目的和预期效果
版本控制：将属性设置与设计文件一起纳入版本控制，便于追踪变更
6.3 属性影响评估方法
评估属性对设计影响的关键方法：
时序对比：使用report_timing比较添加属性前后的时序变化
资源分析：通过report_utilization分析属性对资源使用的影响
QoR评估：综合Quality of Results报告可以帮助评估整体设计质量变化
7. 高级应用场景与案例分析
7.1 复杂IP集成案例
在集成一个加密模块IP时遇到问题：综合工具优化了关键接口信号导致功能异常。解决方案：
- 在IP实例化层次应用DONT_TOUCH保持接口完整性：
set_property dont_touch true [get_cells {aes_core_inst}]- 对关键控制信号应用KEEP确保不被优化：
set_property keep true [get_nets {aes_core_inst/key_ready}]- 结果：功能恢复正常，时序影响可控（仅增加2% LUT使用）
7.2 多时钟域设计案例
一个跨时钟域设计在综合后丢失了同步寄存器链。分析发现综合工具将同步寄存器优化为单个寄存器。解决方案：
- 对完整的同步链应用DONT_TOUCH：
(* dont_touch = "true" *) reg [2:0] sync_chain;验证后确认亚稳态概率恢复到预期水平
额外收获：同步链的保持使时序分析更准确
7.3 调试信号保留案例
在调试一个DDR接口问题时，需要观察多个内部状态信号。解决方案：
- 创建调试信号组并应用KEEP：
set debug_signals [get_nets { ddr_ctrl/state* ddr_ctrl/cmd_fifo/* ddr_ctrl/timing_cnt }] set_property keep true $debug_signals- 在完成调试后，通过条件约束轻松移除：
if {!$debug_mode} { reset_property keep $debug_signals }8. 工具版本与属性行为的变化
不同版本的Vivado工具在属性处理上可能有细微差别：
2013.3版本：文档中提到的版本，KEEP属性不会传递到网表
新版Vivado：某些版本中KEEP行为可能更接近DONT_TOUCH
跨版本建议：
- 检查所用版本的官方文档
- 通过简单测试案例验证属性行为
- 在项目文档中记录已验证的属性行为
9. 替代方案与补充技术
除了直接使用属性外，还有其他方法可以控制综合行为：
综合指令：如-directive选项可以改变综合策略
约束分组：通过group约束将相关逻辑保持在一起
物理约束：如LOC约束可以间接影响优化行为
RTL编码风格：特定的编码模式可以提示工具保持特定结构
10. 属性使用检查清单
在实际项目中应用这些属性前，建议检查以下要点：
是否真的需要保留信号/逻辑？能通过其他方式实现吗？
使用KEEP是否足够？还是必须用DONT_TOUCH？
属性是否应用在正确的对象（信号/实例/层次）上？
是否考虑了属性对时序、资源和功耗的影响？
是否有计划在后续阶段移除不必要的属性？
是否记录了属性的使用目的和预期效果？
是否验证了属性在实际设计中的效果？
通过系统性地应用这些属性并遵循最佳实践，FPGA设计者可以更有效地控制综合过程，在自动优化和手动控制之间取得平衡，最终实现更高质量的设计结果。