Formal Modeling and Verification of PCHB Asynchronous Circuits | IEEE Journals & Magazine | IEEE Xplore