Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings

  • Victor Khomenko
  • Published 2007 in
    IEEE Transactions on Very Large Scale Integration…


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 and concurrency reduction is proposed. It is based on conflict cores, i.e., sets of… (More)
DOI: 10.1109/ACSD.2007.48


6 Figures and Tables

Cite this paper

@article{Khomenko2007EfficientAR, title={Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings}, author={Victor Khomenko}, journal={Seventh International Conference on Application of Concurrency to System Design (ACSD 2007)}, year={2007}, pages={137-146} }