Detecting State Coding Conflicts in STGs Using Integer Programming

@inproceedings{Khomenko2002DetectingSC,
  title={Detecting State Coding Conflicts in STGs Using Integer Programming},
  author={Victor Khomenko and Maciej Koutny and Alexandre Yakovlev},
  booktitle={DATE},
  year={2002}
}
The paper presents a new method for checking Uniqueand Complete State Coding, the crucial conditions in thesynthesis of asynchronous control circuits from Signal TransitionGraphs (STGs). The method detects state coding conflictsin an STG using its partial order semantics (unfoldingprefix) and an integer programming technique. This leads tohuge memory savings compared to methods based on reachabilitygraphs, and also to significant speedups in manycases. In addition, the method produces execution… CONTINUE READING
Highly Cited
This paper has 26 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.
16 Citations
5 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 16 extracted citations

References

Publications referenced by this paper.
Showing 1-5 of 5 references

Detecting State Coding Conflicts in STGs Using Integer Programming

  • V. Khomenko, M. Koutny, A. Yakovlev
  • Technical Report. Technical Report CS-TR-736…
  • 2000
Highly Influential
5 Excerpts

Verification and Synthesis of Asynchronous Control Circuits Using Petri Net Unfolding

  • A. Semenov
  • PhD Thesis, University of Newcastle upon Tyne
  • 1997
Highly Influential
4 Excerpts

Deadlock Checking Using Partial Order Dependencies

  • V. Khomenko, LP M.Koutny
  • Proc. of CONCUR’2000, Palamidessi C. (Ed…
  • 2000
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…