3. 组合逻辑优化：关键路径分析、逻辑级数压缩、操作符平衡与重定时
各位同学，咱们今天聊点实在的。组合逻辑优化，说白了就是跟时间赛跑。你想想看，数据从A点跑到B点，中间经过的逻辑门越多，延迟就越大。我刚开始做AXI互连设计那会儿，就吃过这个亏——明明代码写得挺漂亮，一跑时序分析，全是红色报警。
嗯，今天咱们就围绕四个核心点来展开：关键路径分析、逻辑级数压缩、操作符平衡，还有重定时。这些都是我这些年摸爬滚打总结出来的实战技巧。
3.1 关键路径分析：找到那个“拖后腿”的家伙
关键路径是什么？说白了就是整个设计里延迟最大的那条路。它决定了你的芯片能跑多快。我个人的习惯是，拿到一个AXI互连模块，第一件事就是跑一遍静态时序分析（STA），看看哪些路径的slack是负的。
关键路径的典型特征：
- 逻辑级数通常超过15级
- 扇出（fanout）特别大，驱动能力不足
- 跨时钟域或者异步处理不当
- 组合逻辑中嵌入了多级比较器或加法器
我在项目中遇到过这样一个案例：一个AXI读通道的地址译码逻辑，关键路径竟然有22级逻辑。当时我盯着报告看了半天，心想这肯定有问题。后来发现是地址比较器写得过于“优雅”，用了嵌套的case语句，综合工具根本优化不动。
我的小技巧：用PrimeTime或者Tempus跑时序报告时，重点关注那些slack小于0.1ns的路径。别等到最后才看，每做完一次综合就扫一眼，心里有个数。
3.2 逻辑级数压缩：能少一级是一级
逻辑级数，就是数据从寄存器到寄存器之间经过的组合逻辑门数量。每减少一级，延迟就能降下来不少。我曾经做过一个实验，把AXI写数据通道的逻辑从12级压到7级，频率直接提升了15%。
怎么压缩？我总结了几个实用方法：
- 提前计算：把一些固定的计算提前到配置阶段完成，别放在数据路径上。
- 查表法：复杂的逻辑函数，用查找表（LUT）代替组合逻辑。
- 流水线插入：如果实在压不下去，就老老实实插寄存器。
// 不好的写法：多级比较嵌套
always_comb begin
if (addr > 0x1000 && addr < 0x2000) begin
if (len > 8) begin
sel = 3'b001;
end else begin
sel = 3'b010;
end
end else begin
sel = 3'b100;
end
end
// 优化后：用casez + 提前计算
wire [3:0] region = addr[15:12];
always_comb begin
casez (region)
4'b0001: sel = (len > 8) ? 3'b001 : 3'b010;
4'b0010: sel = 3'b010;
default: sel = 3'b100;
endcase
end
注意：压缩逻辑级数不是万能的。有时候你强行压缩，反而会导致扇出过大，或者让其他路径变差。要全局看，别盯着一条路死磕。
3.3 操作符平衡：让加法器“站好队”
操作符平衡，这个词听起来有点玄乎。其实很简单——就是让多个操作数在逻辑树里分布得均匀一些。比如你要把8个数加起来，如果写成 a+b+c+d+e+f+g+h，综合工具会给你生成一个歪歪扭扭的加法树，延迟很大。
正确的做法是：用括号分组，形成平衡的加法树。
// 不平衡的写法
sum = a + b + c + d + e + f + g + h; // 7级加法器
// 平衡的写法
sum = (a+b) + (c+d) + (e+f) + (g+h); // 3级加法器
我记得有一次，一个同事写的AXI地址计算逻辑，用了连续三个乘法器。我一看就知道要出事。后来改成用移位加法的形式，逻辑级数从18级降到了9级。嗯，这就是操作符平衡的魅力。
操作符平衡的核心原则：
- 加法/乘法：尽量形成二叉树结构
- 比较器：用级联比较代替并行比较
- 多路选择器：用优先级编码代替级联mux
3.4 重定时：把寄存器“挪一挪”
重定时（Retiming），说白了就是把寄存器在组合逻辑之间重新分配。有些工具（比如Design Compiler）自带retiming功能，但我不建议完全依赖它。手动重定时往往效果更好。
我给大家画个图，看看重定时是怎么工作的：
你看，原始路径里组合逻辑A有5级，组合逻辑B有4级，加起来9级。通过重定时，我们把A拆成两半，中间插一个寄存器。这样每条路径最多只有4级或3级，时序就好多了。
实战经验：重定时的时候，别忘了考虑复位信号。我曾经因为重定时后忘记调整复位树，导致芯片上电后部分寄存器状态不对。嗯，这个坑我替你们踩过了。
3.5 综合实战：AXI读通道的优化案例
最后，我给大家看一个完整的优化案例。这是一个AXI读通道的地址计算逻辑，原始代码有18级逻辑，经过三轮优化后降到了7级。
| 优化步骤 | 操作 | 逻辑级数 | 最大延迟(ns) |
|---|---|---|---|
| 原始 | 嵌套if-else + 多级加法 | 18 | 2.85 |
| 第一步 | 操作符平衡（加法树重构） | 12 | 2.10 |
| 第二步 | 逻辑级数压缩（查表代替比较） | 9 | 1.65 |
| 第三步 | 手动重定时（插入2级流水线） | 7 | 1.20 |
你看，每一步都有实实在在的收益。我个人的习惯是，每做完一步优化，就跑一遍形式验证，确保功能没变。别光顾着时序，把功能搞丢了。
总结一下今天的核心要点：
- 关键路径分析：找到最长的路，别盲目优化
- 逻辑级数压缩：能少一级是一级，但别过度
- 操作符平衡：让加法器、比较器站好队
- 重定时：寄存器挪一挪，时序好很多
好了，今天就聊到这儿。这些技巧看着简单，真正用起来还是需要多练。下次你们遇到时序违例，不妨先按这个思路走一遍，八成能解决问题。