Design-for-testability for synchronous sequential circuits using locally available lines | IEEE Conference Publication | IEEE Xplore