Email Record: A methodology for the design and verification of globally asynchronous/locally synchronous architectures /