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
fDate :
28 Feb-3 Mar 1994
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;
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
DOI :
10.1109/EDTC.1994.326879