A built-in self-test method for diagnosis of synchronous sequential circuits | IEEE Journals & Magazine | IEEE Xplore