28th Annual Simulation Symposium
Hazard analysis of structured sequential systems
Santa Barbara, California
April 25-April 28
ISBN: 0-8186-7091-6
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.
Index Terms:
asynchronous sequential logic; asynchronous circuits; fault diagnosis; logic testing; circuit analysis computing; logic CAD; timing; digital simulation; sequential circuits; hazard analysis; structured sequential systems; time uncertainties; asynchronous sequential systems; nondeterministic phenomena; simulation method; time analysis; structured systems; CAD
Citation:
C. Rominger, J.-C. Geffroy, "Hazard analysis of structured sequential systems," ss, pp.311, 28th Annual Simulation Symposium, 1995