Browse by author
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.
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
Publisher: IEEE Computer Society
Library holdings: Search Newcastle University Library for this item