Compositional design of asynchronous circuits from behavioural concepts

Beaumont, J; Mokhov, A; Sokolov, D; Yakovlev, A

doi:10.1109/MEMCOD.2015.7340478

Compositional design of asynchronous circuits from behavioural concepts

Lookup NU author(s): Jonny Beaumont, Dr Andrey Mokhov, Dr Danil Sokolov, Professor Alex Yakovlev

Downloads

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

Abstract

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.