Toggle Main Menu Toggle Search

Open Access padlockePrints

Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings

Lookup NU author(s): Dr Victor Khomenko


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Synthesis of asynchronous circuits from Signal Transition Graphs (STGs) involves resolution of state encoding conflicts by means of refining the STG specification. In this paper, a fully automatic technique for resolving such conflicts by means of insertion of new signals is proposed. It is based on conflict cores, i.e. sets of transitions causing encoding conflicts, which are represented at the level of finite and complete unfolding prefixes, and a SAT solver is used to find where in the STG the transitions of new signals should be inserted. The experimental results show significant improvements over the state space based approach in terms of runtime and memory consumption, as well as some improvements in the quality of the resulting circuits.

Publication metadata

Author(s): Khomenko V

Editor(s): Basten, T., Juhas, G., Shukla, S.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 7th International Conference on Application of Concurrency to System Design (ACSD 2007)

Year of Conference: 2007

Pages: 137-146

ISSN: 1550-4808

Publisher: IEEE Computer Society


DOI: 10.1109/ACSD.2007.48

Library holdings: Search Newcastle University Library for this item

ISBN: 076952902X