Sciweavers

Share
ACSD
2005
IEEE

Automating Synthesis of Asynchronous Communication Mechanisms

8 years 9 months ago
Automating Synthesis of Asynchronous Communication Mechanisms
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed processes in digital systems. In previous work, systematic ACM synthesis methods have been proposed. In this paper, we advance this work by developing algorithms and software tools which automate the major part of the ACM synthesis process. Firstly, an interleaving specification is constructed in the form of a state graph, and secondly, a Petri net model of an “ACM-type” is derived using the notion of an ACM-region. The method is applied to a number of “standard” writing and reading policies of ACMs with shared memory and unidirectional control variables.
Jordi Cortadella, Kyller Costa Gorgônio, Fei
Added 24 Jun 2010
Updated 24 Jun 2010
Type Conference
Year 2005
Where ACSD
Authors Jordi Cortadella, Kyller Costa Gorgônio, Fei Xia, Alexandre Yakovlev
Comments (0)
books