Toggle Main Menu Toggle Search

Open Access padlockePrints

GALS Partitioning by Behavioural Decoupling Expressed in Petri Nets

Lookup NU author(s): Dr Danil Sokolov, Professor Alex Yakovlev


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Efficient design of a complex heterogeneous system requires detailed knowledge about the periodicity properties of its components and understanding the interaction patterns in their data exchange. Some of this information is usually available at the design time and facilitates basic optimisation through the insertion of sufficiently deep buffers between the communicating sub-systems. However, most of the information, e.g. the amount of data items to transfer or the relative difference in the iteration count of system components between communications, is data-dependent and can only be analysed dynamically at the run time. These data-dependent properties of the system still can be efficiently accounted for in globally asynchronous locally synchronous (GALS) design where the system is partitioned into independently clocked sub-systems that interact with each other in the asynchronous style. In this paper we introduce an approach to GALS partitioning based on the analysis of Petri net models of system components and the complexity analysis of their underlying algorithms.

Publication metadata

Author(s): Sokolov D, Yakovlev A

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Asynchronous Circuits and Systems (ASYNC), 2014 20th IEEE International Symposium on

Year of Conference: 2014

Pages: 17-26

Print publication date: 12/05/2014

Online publication date: 12/05/2014

Acceptance date: 12/05/2014

ISSN: 1522-8681

Publisher: IEEE


DOI: 10.1109/ASYNC.2014.11