Transition-Time-Relation based capture-safety checking for at-speed scan test generation | IEEE Conference Publication | IEEE Xplore