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.
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
Online publication date: 03/12/2015
Acceptance date: 01/01/1900
Library holdings: Search Newcastle University Library for this item