Detecting State Coding Conflicts in STGs Using Integer Programming
Published in Design, Automation, and Test in Europe • Mar 4, 2002
Authors:,,
Victor Khomenko
I. Koutny
Alex Yakovlev
Abstract
The paper presents a new method for checking unique and complete state coding, the crucial conditions in the synthesis of asynchronous control circuits from signal transition graphs (STGs). The method detects state coding conflicts in an STG using its partial order semantics (unfolding prefix) and a...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!