Detalhes bibliográficos
| Ano de defesa: |
1989 |
| Autor(a) principal: |
Paschoal Molinari Neto |
| Orientador(a): |
Não Informado pela instituição |
| Banca de defesa: |
Não Informado pela instituição |
| Tipo de documento: |
Dissertação
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
por |
| Instituição de defesa: |
Instituto Tecnológico de Aeronáutica
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: |
|
| Link de acesso: |
http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1470
|
Resumo: |
Devido a crescente complexidade dos sistemas integrados, tornou-se indispensável o desenvolvimento de ferramentas computacionais que auxiliem no projeto destes sistemas. Uma destas ferramentas é o simulador lógico, que é utilizado em verificações lógicas do projeto de sistemas e requer um grande esforço computacional. Nesta dissertação são revistas as técnicas de simulação lógica. São propostos algoritmos e estruturas de dados para um simulador lógico hierárquico capaz de manipular um grande número de eventos, mantendo um alto desempenho relativo ao tempo de execução. Apresentam-se os resultados de simulações lógicas que representam, com certa aproximação, simulações de sistemas digitais complexos. |
