What is the difference between $setup and $removal?
According to LRM, they both use the reference_event as the the timecheck event and the data_event as the timestamp event. Their violations follow the same pattern:
(beginning of time window) < (timestamp time) < (end of time window)
So what is the difference?
A similar question could be asked about $hold and $recovery…
In reply to ce_2015:
The difference is in terminology.
With $setup/$hold, the clock is the reference event and data cannot change inside of a time window around the reference.
With $removal/$recovery, the set/reset is the reference event and the clock cannot change inside of a time window around the reference.
Having said that, I could theoretically put a clock signal as the reference event in $removal/$recovery and the set/reset as the data event and still produce the same results as I would using $setup/$hold, correct?
I would just lose the semantic value offered by using the more appropriate name.