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
