Title :
Analysis and applications of the XDI model
Author :
Mallon, Willem C. ; Udding, Jan Tijmen ; Verhoeff, Tom
Author_Institution :
Dept. of Comput. Sci., Groningen Univ., Netherlands
Abstract :
It is not always straightforward to implement a network that is robust enough to be functionally independent of communication delay. In order to specify and verify so called Delay Insensitive networks, numerous models and formalisms have been developed. In this paper we analyze one of the most expressive models. We show how based on rewrite rules we can compute, rather than invent parts of a network. We implemented these computations in a tool. We also show how healthiness, finite execution models and a distributive parallel composition cannot coexist
Keywords :
asynchronous circuits; delays; finite automata; logic design; parallel processing; X2DI model; XDI model; communication delay; complete lattices; delay insensitive networks; distributive parallel composition; extended DI model; finite automata; finite execution models; formalisms; healthiness; models; notation; parallel composition; rewrite rules; state graph; Algebra; Concurrent computing; Delay; Mathematics; Proposals; Upper bound;
Conference_Titel :
Advanced Research in Asynchronous Circuits and Systems, 1999. Proceedings., Fifth International Symposium on
Conference_Location :
Barcelona
Print_ISBN :
0-7695-0031-5
DOI :
10.1109/ASYNC.1999.761537