A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
Modeling and Verification of Globally Asynchronous and Locally Synchronous Ring Architectures
Design, Automation and Test in Europe
Preserved Fulltext
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