Title: Methodology for the Design and Verification of Globally Asynchronous/Locally Synchronous Architectures