Design for high-speed testability of stuck-at faults | IEEE Conference Publication | IEEE Xplore