Browse by author
Lookup NU author(s): Sohini Dasgupta, Professor Alex Yakovlev
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
In this paper we consider the problem of desynchronising modular synchronous specifications for their realisation into GALS architectures and obtaining simple wrappers that are efficiently synthesisable using existing synthesis tools. The systems are modeled using Petri nets (PN) and the desynchronisation technique is based on the theory of PN Localities. The firing semantics of a globally synchronous system is characterised by maximal firing of input and output transitions. The partitioning of a synchronous system is achieved by unbundling the input transitions and allowing the output transitions to fire in maximal steps, in order to enable asynchronous communication in a distributed environment. Our model satisfies the two essential correctness properties, namely, semantics preservation and deadlock prevention, during the shift from maximal firing semantics, followed by synchronous systems, to standard interleaving semantics for input transitions and maximal step firing semantics for output transitions, followed by GALS architectures. The formation of localities is supported by adding internal signals which are necessary for building wrappers in the localities that will generate local clock enables. These wrappers can be subsequently synthesised using PN based synthesis tools. © 2009 Elsevier B.V. All rights reserved.
Author(s): Dasgupta S, Yakovlev A
Publication type: Article
Publication status: Published
Journal: Electronic Notes in Theoretical Computer Science
Year: 2009
Volume: 245
Pages: 51-67
ISSN (electronic): 1571-0661
Publisher: Elsevier BV
URL: http://dx.doi.org/10.1016/j.entcs.2009.07.028
DOI: 10.1016/j.entcs.2009.07.028
Notes: Proceedings of the 4th International Workshop on the Application of Formal Methods for Globally Asynchronous and Locally Synchronous Design (FMGALS 2009)
Altmetrics provided by Altmetric
