always @(posedge clk or negedge rst_n)
begin
if (~rst_n)
data <= 3'b0;
else
*
异步复位,同步释放
从RTL看,复位是rst_n下降沿触发,是异步的,无需timing check
而,对于释放而言,rst_n拉高,即 ~rst_n != 1, 这个时候要走else分支;拉高这个动作在敏感信号列表中的上升沿时钟信号采样!
那么,对于释放的采样,就需要进行timing check, 对应的就是recovery/removal check