DocumentCode :
2919498
Title :
Model-based design and distributed implementation of bus arbiter for multiprocessors
Author :
Ben-Hafaiedh, Imene ; Graf, Susanne ; Jaber, Mohamad
Author_Institution :
VERIMAG, UJF, Gieres, France
fYear :
2011
fDate :
11-14 Dec. 2011
Firstpage :
65
Lastpage :
68
Abstract :
The contribution of this paper is twofold. First we propose a high-level distributed and abstract model of the bus arbiter for multiprocessors. Our model provides a way for describing several existing arbitration protocols in a distributed and abstract manner so that their properties and performance could be easily compared and analyzed. Second, we propose to automatically verify deadlock freedom property of these protocols and to automatically generate their distributed implementation.
Keywords :
asynchronous circuits; logic design; microprocessor chips; protocols; abstract model; arbitration protocols; bus arbiter; high-level distributed model; model-based design; multiprocessors; Analytical models; Computer architecture; Performance evaluation; Program processors; Protocols; System recovery; System-on-a-chip;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Electronics, Circuits and Systems (ICECS), 2011 18th IEEE International Conference on
Conference_Location :
Beirut
Print_ISBN :
978-1-4577-1845-8
Electronic_ISBN :
978-1-4577-1844-1
Type :
conf
DOI :
10.1109/ICECS.2011.6122215
Filename :
6122215
Link To Document :
بازگشت