Computing Access

STK computes access times by determining the time intervals over which all applicable constraints are satisfied. However, STK does not compute satisfaction time intervals for each constraint independently. Instead, it computes satisfaction intervals for one constraint and then assesses the next constraint satisfaction only for the intervals from the previous constraint computation.

This strategy speeds the computation of the resulting access intervals. By construction, the access intervals satisfy all the constraints.

Since STK does not process the later constraints over the full input interval, there may be satisfaction times for a particular constraint that are not reported because those times are not within the access intervals, since access intervals contain only those times where all the constraints are satisfied simultaneously, not just one.