复位设计中的结构性缺陷及解决方案

图6：复位路径的组合逻辑。

2.解决方案

首先注册组合输出，然后再将其用作复位源（如图7所示）。

图7：复位路径的组合逻辑解决方案。

3.问题（II）

在上面的示例中，复位路径的组合逻辑解决方案并不完善。如果组合逻辑输入大约在同一时间发生变化，那么它可能在设计中触发虚假复位。然而，如果组合逻辑的输入信号变化相互排斥，那么它可能不会引起任何设计问题。例如，测试模式和功能模式相互排斥。因此复位路径的测试复用是有效的设计实践。

然而，对于某些情况，变化相互排斥的静态信号或信号可能会导致设计出现虚假复位触发。下面的示例描述了此类设计可能出现问题。

图8：复位路径的组合逻辑（问题2）。

在上面的示例中，多路复用结构用于复位路径，同时进行RTL编码。其中"mode"是一个控制信号，不频繁改变，而mode0_rst_b和mode_1_rst_b是两个复位事件，然而在合成RTL时，在门控级它被分解成不同的复杂的组合（And-Or-Invert[AOI]）信元。虽然在逻辑上它相当于一个多路复用器，但由于不同的信元和净延迟，每当信号"mode"从1-->0变化时，final_rst_b都会产生干扰。

4.解决方案

*在合成过程中在复位路径保留多路复用结构，因为多路复用结构与其他组合逻辑相比易于产生干扰。MUX Pragma可以在编码RTL时使用，这将有助于合成工具在复位路径中保留任何多路复用器。

设计中的同步复位问题

1.问题（I）

在许多地方，设计人员在时钟方面喜欢同步复位设计。原因可能是为了节省一些芯片面积（带有异步复位输入的触发器比任何不可复位触发器都大）或让系统与时钟完全同步，也可能有一些其他原因。对于此类设计，当复位源被断言时需要向设计的触发器提供时钟，否则，这些触发器可能会在一段时间内都不进行初始化。但当该模块被插入一个系统时，系统设计人员可能选择在复位阶段禁用其时钟（如果在一开始不需要激活该模块），以节省整个系统的动态功耗。因此，该模块甚至在复位去断言后一段时间内都不进行初始化。如果该模块的任何输出直接在系统中使用，那么将捕获未初始化和未知的值（X），这可能会导致系统功能故障。

图9：同步复位问题时序图。

2.解决方案

在复位阶段启用该模块的时钟且持续最短的时间，使该模块内的所有触发器都在复位过程中被初始化。当系统复位被去断言时，模块输出不会有任何未初始化的值。

图10：同步复位问题已解决。

3. 问题(II)

在时钟域交叉路径使用两个触发同步器是常见做法。然而，有时设计人员对这些触发器使用同步复位。相同的RTL代码是

always @(posedge clk )

if(!sync_rst_b) begin

sync1 <= 1'b0; sync2 <= 1'b0 ;

end

else begin

sync1 <= async_in; sync2 <= sync1

end

在硬件中进行了RTL合成后，上面的代码会在双触发器同步器的同步链中引入组合逻辑，这会带来风险，并缩短sync2触发器输入进入亚稳态的时间。

图11：同步复位问题2。

2. 解决方案

可用以下方式编写RTL代码，以避免同步链的组合逻辑。

always @(posedge clk )

if(!sync_rst_b) begin

sync1 <= 1'b0;

end

else begin

sync1 <= async_in; sync2 <= sync1

end

在上面的代码中，对sync2触发器不使用复位，因此在同步链中不会实现组合信元。然而，需要注意sync2需要一个额外的周期才能复位，这不应导致设计出现任何问题。

冗余复位同步器引起的问题

1.问题

在使用多个异步时钟的设计中，设计人员需要确保在目标寄存器使用的时钟方面，异步复位的同步去断言，否则可能导致目标触发器发生时序违反，从而产生亚稳态。复位同步器被用来复位去断言，与目标时钟域同步。然而，只有在系统复位去断言过程中有目标时钟时才会发生复位去断言时序违反。如果在复位去断言时没有时钟，那么便不会有任何时序违反。因此，在设计多时钟域模块时，设计人员可以让编译时间选项绕过该模块中的那些复位同步器，并让系统集成商根据对该模块的时钟可用性决定是否需要使用复位同步器。

此外，如果系统时钟和异步时钟比非常高，冗余同步器甚至会造成设计功能性问题。下面描述了这个问题。

图12：冗余同步器的问题。

在上面的设计中，去断言与sys clk同步的系统复位被馈送到（mod_clk域）的复位同步器，然后在mod_clk域逻辑中使用该复位。让我们假定sys clk ： mod_clk的时钟频率比大于6：1.默认不启用mod_clk，以节省动态功率。当用户想要启用mod_clk域逻辑的功能时，便启用该时钟。在启用了该时钟后，有两个mod_clk周