Toggle Main Menu Toggle Search

Open Access padlockePrints

Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings

Lookup NU author(s): Dr Victor Khomenko



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 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 prefixes of STG unfoldings. 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 circuit.

Publication metadata

Author(s): Khomenko V

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2007

Pages: 16

Print publication date: 01/01/2007

Source Publication Date: January 2007

Report Number: 995

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

Place Published: Newcastle upon Tyne