Modeling and Verification of Globally Asynchronous and Locally Synchronous Ring Architectures

	This Article
	PDF RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Sohini Dasgupta Articles by Alex Yakovlev

Design, Automation and Test in Europe (DATE'05) Volume 1

Modeling and Verification of Globally Asynchronous and Locally Synchronous Ring Architectures (PDF)

Munich, Germany

March 07-March 11

ISBN: 0-7695-2288-2

	ASCII Text	x
	Sohini Dasgupta, Alex Yakovlev, "Modeling and Verification of Globally Asynchronous and Locally Synchronous Ring Architectures," Design, Automation and Test in Europe Conference and Exhibition, vol. 1, pp. 568-569, Design, Automation and Test in Europe (DATE'05) Volume 1, 2005.

	BibTex	x
	@article{ 10.1109/DATE.2005.212, author = {Sohini Dasgupta and Alex Yakovlev}, title = {Modeling and Verification of Globally Asynchronous and Locally Synchronous Ring Architectures}, journal ={Design, Automation and Test in Europe Conference and Exhibition}, volume = {1}, year = {2005}, issn = {1530-1591}, pages = {568-569}, doi = {http://doi.ieeecomputersociety.org/10.1109/DATE.2005.212}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Design, Automation and Test in Europe Conference and Exhibition TI - Modeling and Verification of Globally Asynchronous and Locally Synchronous Ring Architectures SN - 1530-1591 SP568 EP569 A1 - Sohini Dasgupta, A1 - Alex Yakovlev, PY - 2005 KW - null VL - 1 JA - Design, Automation and Test in Europe Conference and Exhibition ER -

Sohini Dasgupta, University of Newcastle upon Tyne, UK

Alex Yakovlev, University of Newcastle upon Tyne, UK

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/DATE.2005.212

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.

Citation:

Sohini Dasgupta, Alex Yakovlev, "Modeling and Verification of Globally Asynchronous and Locally Synchronous Ring Architectures," date, vol. 1, pp.568-569, Design, Automation and Test in Europe (DATE'05) Volume 1, 2005

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.