仅对英特尔可见 — GUID: mtr1430270841498
Ixiasoft
2.4.2.1. 高速时钟域(High-Speed Clock Domains)
2.4.2.2. 重构回路(Restructuring Loops)
2.4.2.3. 控制信号反压(Control Signal Backpressure)
2.4.2.4. 使用FIFO状态信号的流程控制
2.4.2.5. 包含skid缓冲器的流程控制
2.4.2.6. Read-Modify-Write存储器
2.4.2.7. 计数器和累加器
2.4.2.8. 状态机
2.4.2.9. 储存器
2.4.2.10. DSP模块
2.4.2.11. 一般逻辑
2.4.2.12. 求模与除法
2.4.2.13. 复位
2.4.2.14. 硬件重用
2.4.2.15. 算法要求
2.4.2.16. FIFO
2.4.2.17. 三元加法器(Ternary Adders)
5.2.1. 不足的寄存器(insufficient Registers)
5.2.2. 短路径/长路径(short path/long path)
5.2.3. 快进限制(Fast Forward Limit)
5.2.4. 回路(loop)
5.2.5. 每个时钟域一个关键链
5.2.6. 相关时钟组中的关键链
5.2.7. 复杂的关键链
5.2.8. 延伸到可定位的节点
5.2.9. 域边界入口和域边界出口(Domain Boundary Entry and Domain Boundary Exit)
5.2.10. 包括双时钟存储器的关键链
5.2.11. 关键链比特和总线
5.2.12. 延迟线
仅对英特尔可见 — GUID: mtr1430270841498
Ixiasoft
2.4.1.1. 香农分解(Shannon’s Decomposition)
Shannon分解作用于Hyper-Optimization中。Shannon分解或者Shannon扩展是分解Boolean函数的一种方法。函数可表达为F = x.Fx + x′Fx′,其中x.Fx和x′Fx′是函数F关于x的正和负辅因数。可通过四个输入来分解一个函数,例如:(a, b, c, x) = x.(a, b, c, 1) + x′.F(a, b, c, 0),如下图所示。在Hyper-Optimization中,Shannon分解将x信号推至逻辑的圆锥头,使x信号成为通过逻辑圆锥的最快路径。x信号以其他所有信号为代价成为最快的路径。使用Shannon分解也会加倍原始功能的面积成本。
图 37. 香农分解(Shannon’s Decomposition)
图 38. 香农分解逻辑减少逻辑综合可以利用常量驱动输入,并略微减少辅因数,如下图所示。
图 39. 重复的香农分解(Repeated Shannon’s Decomposition)下图显示了如何重复使用香农分解来分解具有一个以上的关键输入信号的函数,从而增加了面积成本。
香农分解是对环路的有效优化技术。当对环路中的逻辑执行香农分解时,环路中的逻辑移出环路。 Compiler现在可以对移出环路的逻辑进行流水线化。
图 40. 香农分解前的环路实例此图显示了一个环路,其中包括一个寄存器,四级组合逻辑和一个额外输入。在环路中添加寄存器会改变功能性,但通过执行香农分解可以将组合逻辑移出环路。
环路中的寄存器的输出是0或1。您可以对驱动环路中的寄存器的组合逻辑进行复制,将备份的输入连接到0,另一个备份的输入连接到1。
图 41. 香农分解后的环路实例环路中的寄存器然后选择两个副本中的一个,如下图所示。
对环路中的逻辑执行香农分解可减少环路中逻辑的数量。Compiler现在可以对被移出环路的逻辑执行寄存器重定时或Hyper-Pipelining,从而提高了电路性能。