Algorithms for synthesis of hazard-free asynchronous circuits

A teclinique for the synthesis of asynchronous sequential circuits from a Signal Transition Graph (STG) specificatmion is described. We give algorithms for synthesis and hazard removal, able to produce hazard-free circuits with the bounded wire-delay model, requiring the STG to be live, safe and to have the unique state coding property. A proof tliat, contrary to previous beliefs, STG persistency is not necessary for hazard-free implementation is given.

[1]  James H. Tracey.  Internal State Assignments for Asynchronous Sequential Machines , 1966, IEEE Trans. Electron. Comput..

[2]  Hugo De Man,et al.  Optimized synthesis of asynchronous control circuits from graph-theoretic specifications , 1992, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[3]  David G. Messerschmitt,et al.  Asynchronous processor design for digital signal processing , 1988, ICASSP-88., International Conference on Acoustics, Speech, and Signal Processing.

[4]  Raymond E Miller.  Switching theory , 1979 .

[5]  Steven M. Burns,et al.  The design of an asynchronous microprocessor , 1989, CARN.

[6]  Tam-Anh Chu.  On the models for designing VLSI asynchronous digital systems , 1986, Integr..

[7]  Lynn Conway,et al.  Introduction to VLSI systems , 1978 .

[8]  Tam-Anh Chu,et al.  Synthesis of self-timed VLSI circuits from graph-theoretic specifications , 1987 .

[9]  Luciano Lavagno,et al.  Synthesis of verifiably hazard-free asynchronous control circuits , 1991 .

[10]  Steve Heath.  VMEbus User's Handbook , 1989 .

[11]  Victor I. Varshavsky,et al.  Self-Timed Control of Concurrent Processes , 1989 .

[12]  Gordon L. Smith,et al.  Model for Delay Faults Based upon Paths , 1985, ITC.

[13]  Robert K. Brayton,et al.  Logic Minimization Algorithms for VLSI Synthesis , 1984, The Kluwer International Series in Engineering and Computer Science.

[14]  Hugo De Man,et al.  Optimized synthesis of asynchronous control circuits from graph-theoretic specifications , 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

[15]  Stephen H. Unger,et al.  Asynchronous sequential switching circuits , 1969 .

[16]  Michel Hack,et al.  ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETS , 1972 .