Modeling and Verification of Globally Asynchronous and Locally Synchronous Ring Architectures

S. Dasgupta, A. Yakovlev
Design, Automation and Test in Europe  
The goal of this paper is to demonstrate a prevalent global deadlock situation resulting from a local deadlock in a GALS ring architecture. We present a novel design for building systems which will be tolerant to such deadlocks arising in the local modules. This paper, concentrates on the modeling of the proposed design methodology and its correctness is proved with the help of a public domain verification tool.
doi:10.1109/date.2005.212 dblp:conf/date/DasguptaY05 fatcat:ie5vpct5xnf3xjv2pgzemof2x4