Verifying synchronization strategies

Chris Myers, Eric Mercer, Hans Jacobson
September 2003
Type
Conference paper
Publication
Formal Methods for Globally Asynchronous Locally Synchronous (GALS) Architecture
asynchronous circuit
Chris Myers
Chris Myers
Department Chair / Professor
Eric Mercer
Eric Mercer
Brigham Young University, Associate Professor
Hans Jacobson
Hans Jacobson
IBM T. J. Watson Research Center, Researcher

Related