A controller is provided that is configured to receive a timing value for a
static timing model and a timing value for an extracted timing model. The
controller is further configured to determine whether the timing value for
the extracted timing model falls within a permissible range of deviation
from the timing value for the static timing model.