Title :
Structural methods for the synthesis of speed-independent circuits
Author :
Pastor, Enric ; Cortadella, Jordi ; Kondratyev, Alex ; Roig, Oriol
Author_Institution :
Dept. of Comput. Archit., Univ. Politecnica de Catalunya, Barcelona, Spain
Abstract :
Most existing tools for the synthesis of asynchronous circuits from Signal Transition Graphs (STGs) derive the reachability graph for the calculation of logic equations. This paper presents novel methods exclusively based on the structural analysis of the underlying Petri net. This methodology can be applied to any STG that can be covered by State Machines and, in particular to all live and safe free-choice STGs. Significant improvements with regard to existing structural methods are provided. The new techniques have been implemented in an experimental tool that has been able to synthesize specifications with over 1027 markings, some of them being non-free choice
Keywords :
Petri nets; asynchronous circuits; logic design; network synthesis; signal flow graphs; Petri net; asynchronous circuits; logic equations; reachability graph; signal transition graph; speed-independent circuits; state machine; structural analysis; synthesis; Binary codes; Circuit synthesis; Computer architecture; Equations; Fires; Logic; Petri nets; Polynomials; Power system modeling; Signal synthesis;
Conference_Titel :
European Design and Test Conference, 1996. ED&TC 96. Proceedings
Conference_Location :
Paris
Print_ISBN :
0-8186-7424-5
DOI :
10.1109/EDTC.1996.494323
