ePrints

Logic Decomposition of Asynchronous Circuits Using STG Unfoldings

Lookup NU author(s): Dr Victor Khomenko

Downloads

• Published version [.pdf]

Abstract

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.

Publication metadata

Author(s): Khomenko V

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2010

Pages: 15

Print publication date: 01/08/2010

Source Publication Date: August 2010

Report Number: 1215

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1215.pdf

Share