Hazard detection in logic simulation

Abstract

This paper shows the influence of two factors on the hazards detection capability of a logic simulator: the delay model (zero, nomina l or min-max) and the number of logic levels (2,3,5 or 8). Hazards are briefly defined. It is shown that a 2-valued , nominal delay mode l cannot detect hazards within a reasonable efficienty. It is also shown that a 3-valued, zer o delay mode l (Eichelberger's algoritrun) can detect ha zards in their broadest sense, while defini te hazard pulses in particular implementations need min-max delay models to be detected. Static hazards can be definetely dete cted only with 5-valued logic, while 8-valued logic is nee ded to detect dynamic hazards. It is assumed a previous knowledgeof event-driven logic simulation by the reader /ST 75/ /WA 84/.

Este artigo mostra a influência de dois fatores na capacidade de deteção de hazards de um simulador lógico: o modelo de delay (zero, nominal ou min-max) e o número de níveis lógicos (2,3,5 ou 8). Hazards são definidos brevemente. É mostrado que um modelo de delay nominal com 2 níveis lógicos não pode detetar hazards com uma eficiência aceitável. É mostrado também que um modelo de delay zero com 3 niveis lógicos (algoritmo de Eichelberger) pode detetar hazards no sentido mais amplo da definição, enquanto pulsos definidos de hazards em implementações particulares necessitam modelos de delay min-max para serem detetados. Hazards estáticos só podem ser definitivamente detetados com lógica de 5 valores, en quanto lógica de 8 valores ã necessãria para a deteção de hazards dinamicos. É presumido que o leitor tem um conhecimenta prêvio de simulação lógica dirigida por eventos /ST 75/ /WA 84/.