Modeling and Verification of Globally Asynchronous and Locally Synchronous Ring Architectures

Authors:
Sohini Dasgupta;Alex Yakovlev
Affiliations:
University of Newcastle upon Tyne, UK;University of Newcastle upon Tyne, UK
Venue:
Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Year:
2005

Citing 1
Cited 2

Self-Timed Ring for Globally-Asynchronous Locally-Synchronous Systems

ASYNC '03 Proceedings of the 9th International Symposium on Asynchronous Circuits and Systems

Modeling and Analyzing the Implementation of Latency-Insensitive Protocols Using the Polychrony Framework

Electronic Notes in Theoretical Computer Science (ENTCS)
Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.