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.
| Identifer | oai:union.ndltd.org:IBICT/oai:agregador.ibict.br.BDTD_ITA:oai:ita.br:1470 |
| Date | 01 November 1989 |
| Creators | Paschoal Molinari Neto |
| Contributors | Wagner Chiepa Cunha |
| Publisher | Instituto Tecnológico de Aeronáutica |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Format | application/pdf |
| Source | reponame:Biblioteca Digital de Teses e Dissertações do ITA, instname:Instituto Tecnológico de Aeronáutica, instacron:ITA |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0018 seconds