Race-free state assignments for synthesizing large-scale asynchronous sequential logic circuits | IEEE Journals & Magazine | IEEE Xplore