Title :
Hazard analysis of structured sequential systems
Author :
Rominger, C. ; Geffroy, J.C.
Author_Institution :
Complexe Sci. de Rangueil, INSA/DGE LESIA, Toulouse, France
Abstract :
Time uncertainties associated with the dynamic parameters of asynchronous sequential systems can lead to non-deterministic phenomena called hazards. We propose a dynamic model of such a system which represents time uncertainties through variables. A simulation method using this model for time analysis of structured systems is then presented: the aim is to help the designer to detect and possibly avoid the occurrence of hazards in real systems
Keywords :
asynchronous circuits; asynchronous sequential logic; circuit analysis computing; digital simulation; fault diagnosis; logic CAD; logic testing; sequential circuits; timing; CAD; asynchronous sequential systems; hazard analysis; nondeterministic phenomena; simulation method; structured sequential systems; structured systems; time analysis; time uncertainties; Aging; Analytical models; Circuit simulation; Electronic circuits; Hazards; Integrated circuit interconnections; Manufacturing; Sequential circuits; Temperature; Uncertainty;
Conference_Titel :
Simulation Symposium, 1995., Proceedings of the 28th Annual
Conference_Location :
Phoenix, AZ
Print_ISBN :
0-8186-7091-6
DOI :
10.1109/SIMSYM.1995.393567
