Design for testability and test generation with two clocks | IEEE Conference Publication | IEEE Xplore