A Design for Testability Method for k-Cycle Capture Test Generation | IEEE Conference Publication | IEEE Xplore