Toggle Main Menu Toggle Search

Open Access padlockePrints

Design and Verification of Speed-Independent Circuits with Arbitration in Workcraft

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



This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been published in its final definitive form by IEEE, 2018.

For re-use rights please refer to the publisher's terms and conditions.


The traditional design methods for speed-independent (SI) circuits require their behaviour to be output-persistent. A common source of non-persistence is arbitration that leads to a choice between output signals. It is the designer's responsibility to remove such non-persistent behaviour before proceeding to synthesis, usually by manually factoring the arbitration out into the environment, where the choice is implemented using a mutex element. There are several problems with this approach: * Significant manual effort factoring out the mutex and inserting it after synthesis.* There is no guarantee that the signals the designer thinks can be implemented by a mutex actually follow the arbitration protocol. * Factoring out converts mutex grants into inputs, so verification of output-persistence would miss a situation when a mutex grant is disabled due to premature withdrawal of the corresponding request (this applies to verification of both, the original specification and the circuit implementation). In this paper we demonstrate how these problems were solved by integrating automatic mutex insertion into the SI synthesis flow implemented in Workcraft (

Publication metadata

Author(s): Sokolov D, Khomenko V, Yakovlev A, Lloyd D

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'18)

Year of Conference: 2018

Pages: 30-31

Online publication date: 27/12/2018

Acceptance date: 02/04/2018

Date deposited: 17/01/2019

ISSN: 1522-8681

Publisher: IEEE


DOI: 10.1109/ASYNC.2018.00017

Notes: Short paper.

Library holdings: Search Newcastle University Library for this item

ISBN: 9781538658833