WAITX: An Arbiter for Non-Persistent Signals

Khomenko, V; Sokolov, D; Mokhov, A; Yakovlev, A

doi:10.1109/ASYNC.2017.8

WAITX: An Arbiter for Non-Persistent Signals

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

Downloads

Accepted version [.pdf]

Licence

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

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

Abstract

The paper introduces a new reusable asynchronous component, called WAITX element, that arbitrates between two requests. In contrast to the traditional mutex, the requests are not required to be persistent, i.e. can be withdrawn at any moment, have hazards or even have high-frequency bursts; e.g. they can be outputs of voltage comparators. It is guaranteed that (i) hazards will never propagate past WAITX; and (ii) when requests are well-behaved, WAITX correctly arbitrates between them. As an additional minor contribution we also design a SAMPLE element on the basis of WAITX; in contrast to previous designs in literature, this SAMPLE is fully speedindependent and unconditionally guarantees that the hazards will not propagate past it.