DocumentCode :
2125083
Title :
Direct synthesis of hazard-free asynchronous circuits from STGs based on lock relation and MG-decomposition approach
Author :
Lin, Kuan-Jen ; Kuo, Jih-Wen ; Lin, Chen-Shang
Author_Institution :
Inst. of Electr. Eng., Nat. Taiwan Univ., Taipei, Taiwan
fYear :
1994
fDate :
28 Feb-3 Mar 1994
Firstpage :
178
Lastpage :
183
Abstract :
A new realization algorithm is proposed to synthesize asynchronous hazard-free circuits directly from signal transition graphs (STGs) with underlying free-choice Petri nets. Based on a signal lock relation and MG-decomposition approach, the synthesis method does not use state diagrams and thereby maintains problem size polynomially proportional only to the number of signals. Moreover, the synthesized circuits are guaranteed to be hazard-free under unbounded gate-delay mode without any post-realization analysis and modification. A sufficient condition for hazard-free realization is also derived based on the signal lock relation in STGs. The high-levelness of this condition allows easier manipulation of the specification for realizability. The proposed direct-synthesis algorithm has been shown successful on over thirty academic and industrial examples
Keywords :
Petri nets; asynchronous sequential logic; circuit CAD; hazards and race conditions; logic CAD; sequential circuits; MG-decomposition approach; Petri nets; STG; direct-synthesis algorithm; hazard-free asynchronous circuits; logic circuit design; signal lock relation; signal transition graphs; unbounded gate-delay mode; Asynchronous circuits; Circuit synthesis; Clocks; Delay; Industrial relations; Petri nets; Polynomials; Signal processing; Signal synthesis; Sufficient conditions;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
European Design and Test Conference, 1994. EDAC, The European Conference on Design Automation. ETC European Test Conference. EUROASIC, The European Event in ASIC Design, Proceedings.
Conference_Location :
Paris
Print_ISBN :
0-8186-5410-4
Type :
conf
DOI :
10.1109/EDTC.1994.326879
Filename :
326879
Link To Document :
بازگشت