我正在时钟门控一些 闩锁和我设计中的逻辑。我在综合和布局布线方面没有太多经验。在 RTL 中实现时钟门控的正确方法是什么?
示例 1:
always_comb begin
gated_clk = clk & latch_update_en;
end
always_latch begin
if(gated_clk) begin
latch_data <= new_data;
end
end
示例2:
我在研究 RTL 时钟门控的良好实践时偶然发现了一个 RTL 示例。该示例实现了上述代码,如下所示:
clock_gator cg_cell (.clk(clk), .en(latch_update_en), .scan_en(scan_en_in), .gated_clk(gated_clk));
always_latch begin
if(gated_clk) begin
latch_data <= new_data;
end
end
使用自定义时钟门控单元的目的是什么?如果 clk 直接在 always_comb 块中与另一个使能信号进行“和”运算,该工具在综合中是否会遇到困难?我有一种感觉,使用特殊时钟门控单元是生成门控时钟信号的标准方法。我试图理解为什么会这样。
最佳答案
在 RTL 中实现时钟门控的正确方法是什么?
时钟门控信号应仅在锁存器关闭时触发,否则可能会出现毛刺和亚稳态问题。对于高电平有效锁存器,门控信号应在时钟的下降沿触发。低电平有效锁存器的上升沿。
通常你会使用边缘敏感触发器来保持 latch_update_en
以防止选通信号上的噪声。
always_ff @(negedge clk)
latch_update_en <= next_latch_update_en;
always_comb
gated_clk = (* clock_gating = "clk" *) clk & latch_update_en;
always_latch
if(gated_clk)
latch_data <= new_data;
提醒:如果您只有锁存器设计:边沿触发触发器只是主/从锁存器
always_latch
if (clk)
sync_latch_update_en <= next_latch_update_en;
always_latch
if (!clk)
latch_update_en <= sync_latch_update_en;
如果 clk 直接在 always_comb 块中与另一个使能信号进行“和”运算,该工具在综合中是否会遇到困难?
大多数综合确实存在直接与时钟进行 AND 运算的问题。如何使用门控并不总是直观的。合成器的库中通常有许多 AND 门可供选择,每个都有不同的转换、偏斜和加载,非常适合输入组合。虽然功能相同,
A & B
会得到不同的时间结果 B & A
.实例化合成器库中的显式单元会缩小了解和预期行为的可能性。预定义的时钟门控单元还具有合成器使用的属性。属性包括用于平衡时钟树的时序信息(设计中用于管理负载和寄生的缓冲器放置)。
一些合成器支持在 RTL 中设置属性标签(例如:
// synthesis attributes
或 (* attributes *)
),而不需要显式实例化一个单元格。没有关于如何做到这一点的标准,请参阅您的用户手册。使用自定义时钟门控单元的目的是什么?
自定义单元是综合库中按定义的单元,具有已知的时序信息、负载平衡和其他属性。有了这些信息,合成器就知道在哪里以及如何在时钟树中添加或校准缓冲器延迟。这确保非门控触发器在门控触发器之前看不到时钟边沿。
_____ _____
IN -------------|D Q|-----|D Q|--- OUT
| | | |
|\ |\ | | | |
+-| >| >---|> | +-|> |
| |/ |/ |_____| | |_____|
| ___ |
CLK -+-| \ |
| & )-------------+ BALANCED CLOCK : correct data sampled
GATE --|___/
如果没有指导,门控触发器可能会延迟时钟。偏斜会导致错误的数据被采样。
_____ _____
IN -------------|D Q|-----|D Q|--- OUT
| | | |
| | | |
+----------|> | +-|> |
| |_____| | |_____|
| ___ |
CLK -+-| \ |\ |\ |
| & )---| >| >----+ UNBALANCED CLOCK : wrong data sampled
GATE --|___/ |/ |/
关于verilog - 如何在 RTL 中使用时钟门控?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/24977925/