Efficient Automatic Resolution of Encoding Conflicts Using STG (Signal Transition Graphs) Unfoldings Technical rept. series

摘要

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.