Toggle Main Menu Toggle Search

Open Access padlockePrints

Compositional design of asynchronous circuits from behavioural concepts

Lookup NU author(s): Jonny Beaumont, Dr Andrey Mokhov, 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.


Asynchronous circuits can be useful in many applications, however, they are yet to be widely used in industry. The main reason for this is a steep learning curve for concurrency models, such Signal Transition Graphs, that are developed by the academic community for specification and synthesis of asynchronous circuits. In this paper we introduce a compositional design flow for asynchronous circuits using concepts - a set of formalised descriptions for system requirements. Our aim is to simplify the process of capturing system requirements in the form of a formal specification, and promote the concepts as a means for design reuse. The proposed design flow is applied to the development of an asynchronous buck converter.

Publication metadata

Author(s): Beaumont J, Mokhov A, Sokolov D, Yakovlev A

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)

Year of Conference: 2015

Pages: 118-127

Online publication date: 03/12/2015

Acceptance date: 01/01/1900

Publisher: ACM/IEEE


DOI: 10.1109/MEMCOD.2015.7340478

Library holdings: Search Newcastle University Library for this item

ISBN: 9781509002375