Reset recovery and removal time

如上图示，异步复位信号rstn_async具有完全不确定性，我们虽然不关心它何时复位，但是万一它在采样沿附近撤销，很容易导致被复位寄存器的亚稳态。所以，我们需要对异步复位的撤销做同步处理。

上图是一个对异步撤销做同步处理的电路，目的就是让reset撤销的时序变得可分析，用timing signoff来避免亚稳态。可以看到rstn_sync的置位是与rstn_async一致的，具有完全不确定性，但是我们并不在乎，反正复位后逻辑都不动；而rstn_sync的撤销则是经过了两级FF输出的，对被复位寄存器来说就是一个同步信号，可以按照类似于setup/hold的方法去分析（实际上是recovery/removal timing analysis）。