A Heuristic Algorithm for the Testing of Asynchronous Circuits | IEEE Journals & Magazine | IEEE Xplore