Toggle Main Menu Toggle Search

Open Access padlockePrints

Conditional Partial Order Graphs and Dynamically Reconfigurable Control Synthesis

Lookup NU author(s): Dr Andrey Mokhov, Professor Alex Yakovlev


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


The paper introduces a new formal model for specifying control paths in the context of asynchronous system design. The model, called Conditional Partial Order Graph (CPOG), is capable of capturing concurrency and choice in a system's behaviour in a compact and efficient way. A problem of CPOG synthesis is formulated and solved; various CPOG optimisation techniques are presented. The introduced model can be used for the specification of system behaviour and for synthesis of area-efficient dynamically reconfigurable controllers. The synthesis of a controller is based on a novel generic architecture, called Transition Sequence Encoder (TSE). The synthesized controllers are speed independent and thus very robust to parametric variations. The ideas presented in the paper can be applied for CPU control synthesis as well as for synthesis of different kinds of event-coordination circuits often used in data coding and communication in digital systems.

Publication metadata

Author(s): Mokhov A, Yakovlev A

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 2008 Design, Automation & Test in Europe Conference & Exhibition (DATE 2008)

Year of Conference: 2008

Pages: 1142-1147

ISSN: 1530-1591

Publisher: IEEE


DOI: 10.1109/DATE.2008.4484832

Library holdings: Search Newcastle University Library for this item

ISBN: 9783981080131