ICC中enable_recovery_removal_arcs？

man里：Recovery or removal timing arcs impose constraints on asynchronous pins
ofsequentialcells.Typically, recovery time specifies the time the
inactive edge of the asynchronous signal has to arrive before the clos-
ingedgeofthe clock. Removal time specifies the length of time the
active phase of the asynchronous signal has to be held after theclos-
ing edge of clock.
Toenablecompile,report_timing,andreport_constraintto accept
recovery or removal arcs specified in thelibrary,setenable_recov-
ery_removal_arcs to true.对于上面timing arcs如何理解?这句话是用在异步时序cell?Recovery or removal timing arcs 到底是什么东西，求大神解释

recovery和removal是指带复位的寄存器的setup和hold。个人理解啊

哦哦，这样啊

就是检查removal和recovery啊

我不懂什么叫做recovery_removal啊，那是什么东西，上楼的有个人回答的你看看她说的行吗?

通常是true，

和setup hold类似，可以理解成复位端的setup和hold

The
recovery time
is the minimum time that an asynchronous input is stable after being de-asserted before the next active clock edge.

The
removal time
is the minimum time after an active clock edge
that the asynchronous pin must remain active before it can be de-asserted.

应该true，有vio可以问问电路

如果你reset有效的时候，clk还在翻转，那就是true了。