Synthesis of hazard-free asynchronous circuits based on characteristic graph | IEEE Journals & Magazine | IEEE Xplore