A generalized state assignment theory for transformation on signal transition graphs

@inproceedings{Vanbekbergen1992AGS,
  title={A generalized state assignment theory for transformation on signal transition graphs},
  author={Peter Vanbekbergen and Bill Lin and Gert Goossens and Hugo De Man},
  booktitle={ICCAD},
  year={1992}
}
In this paper, we propose a global assignment theory for “encoding” state graph transformations. A constraint satisfaction framework is proposed that can guarantee necessary and sufficient conditions for a state graph assignment to result in a transformed state graph that is race-free. Performing transformations at the state graph level has the advantage that the requirements imposed on the initial STG are very weak. Unlike previous methods, the initial STG need not be a live, safe, nor a free… CONTINUE READING
9 Citations
0 References
Similar Papers