Logic Decomposition of Asynchronous Circuits Using STG Unfoldings

  1. Lookup NU author(s)
  2. Dr Victor Khomenko
Author(s)Khomenko V
Editor(s)Bainbridge, J., Jones, I.
Publication type Conference Proceedings (inc. Abstract)
Conference Name17th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)
Conference LocationCornell University, Ithaca, New York, USA
Year of Conference2011
Legacy Date27-29 April 2011
Series Editor(s)17th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
A technique for logic decomposition of asynchronous circuits which works on STG unfolding prefixes rather than state graphs is proposed. It retains all the advantages of the state space based approach, such as the possibility of multiway acknowledgement, latch utilisation and highly optimised circuits. Moreover, it significantly alleviates the state space explosion, and thus has superior memory consumption and runtime.
ActionsLink to this publication
Library holdingsSearch Newcastle University Library for this item