A correctness criterion for asynchronous circuit validation and optimization | IEEE Journals & Magazine | IEEE Xplore