Modeling and Verification of Globally Asynchronous and Locally Synchronous Ring Architectures

Sohini Dasgupta (1) , Alex Yakovlev (1)

1 School of EECE

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.

Domaines: Architectures Matérielles [cs.AR]; Electronique

Sohini Dasgupta, Alex Yakovlev. Modeling and Verification of Globally Asynchronous and Locally Synchronous Ring Architectures. DATE'05, Mar 2005, Munich, Germany. pp.568-569. ⟨hal-00181656⟩