DocumentCode :
1685178
Title :
A generalized state assignment theory for transformations on signal transition graphs
Author :
Vanbekbergen, P. ; Lin, B. ; Goossens, G. ; De Man, H.
Author_Institution :
IMEC Lab., Leuven, Belgium
fYear :
1992
Firstpage :
112
Lastpage :
117
Abstract :
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 signal transition graph (STG) are very weak. Unlike previous methods, the initial STG need not be a live, safe, free choice net. The only requirement is that the corresponding initial state graph should be finite and connected, and have a consistent state assignment. Hence, a very broad range of STGs can be synthesized. The transformation achievable using the proposed framework correspond to very complex transformations on STGs. Even transformations that convert a free choice net into a correct non-free choice net, and a 1-safe net into a correct 2-safe net are feasible. Addition of transitions that do not follow the Petri net firing rule is also possible.<>
Keywords :
asynchronous sequential logic; circuit CAD; constraint theory; directed graphs; sequential circuits; 1-safe net; 2-safe net; Petri net firing rule; constraint satisfaction framework; free choice net; generalized state assignment theory; global assignment theory; nonfree choice net; race free state graph; signal transition graph transformations; Design automation; Directed graphs; Sequential logic circuits;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer-Aided Design, 1992. ICCAD-92. Digest of Technical Papers., 1992 IEEE/ACM International Conference on
Conference_Location :
Santa Clara, CA, USA
Print_ISBN :
0-8186-3010-8
Type :
conf
DOI :
10.1109/ICCAD.1992.279389
Filename :
279389
Link To Document :
بازگشت