Design and synthesis for testability of synchronous sequential circuits based on strong-connectivity | IEEE Conference Publication | IEEE Xplore