Hazard detection in logic simulation
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 pod...
| Autor: | |
|---|---|
| Tipo de recurso: | informe técnico |
| Estado: | Versión publicada |
| Fecha de publicación: | 1984 |
| País: | Brasil |
| Institución: | Universidade Federal do Rio Grande do Sul (UFRGS) |
| Repositorio: | Repositório Institucional da UFRGS |
| Idioma: | inglés |
| OAI Identifier: | oai:www.lume.ufrgs.br:10183/126715 |
| Acceso en línea: | http://hdl.handle.net/10183/126715 |
| Access Level: | acceso abierto |
| Palabra clave: | Simulacao : Sistemas digitais Hazard detection Static hazards Dynamic hazards Logic simulation Multi-valued logic signals |
| Sumario: | 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/. |
|---|