Title :
Asynchronous circuit synthesis via direct translation
Author :
Shang, D. ; Xia, F. ; Yakovlev, A.
Author_Institution :
Dept. of Comput. Sci., Newcastle upon Tyne Univ., UK
Abstract :
In asynchronous circuit synthesis, the direct translation method, whereby circuits are derived from Petri net (PN) specifications directly, has not evolved any automatic tools. This paper describes a design method based on direct translation techniques, incorporating refinement, optimization and an automatic tool.
Keywords :
Petri nets; asynchronous circuits; circuit CAD; circuit optimisation; logic CAD; CAD tools; Petri net specifications; asynchronous circuit; automatic tools; circuit synthesis; design method; direct translation; optimization; refinement; Asynchronous circuits; Circuit synthesis; Circuit testing; Delay; Design automation; Encoding; Inverters; Libraries; Safety; State-space methods;
Conference_Titel :
Circuits and Systems, 2002. ISCAS 2002. IEEE International Symposium on
Print_ISBN :
0-7803-7448-7
DOI :
10.1109/ISCAS.2002.1010237
