Simulação lógica hierárquica de sistemas digitais

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:
Sistemas digitais
Simulação
Computação
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.
id ITA_868c8bdccce45bc54facb79404e7fa34
oai_identifier_str oai:agregador.ibict.br.BDTD_ITA:oai:ita.br:1470
network_acronym_str ITA
network_name_str Biblioteca Digital de Teses e Dissertações do ITA
spelling Simulação lógica hierárquica de sistemas digitaisSistemas digitaisSimulaçãoComputaçãoDevido 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.Instituto Tecnológico de AeronáuticaWagner Chiepa CunhaPaschoal Molinari Neto1989-11-01info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1470reponame:Biblioteca Digital de Teses e Dissertações do ITAinstname:Instituto Tecnológico de Aeronáuticainstacron:ITAporinfo:eu-repo/semantics/openAccessapplication/pdf2019-02-02T14:02:41Zoai:agregador.ibict.br.BDTD_ITA:oai:ita.br:1470http://oai.bdtd.ibict.br/requestopendoar:null2020-05-28 19:36:22.405Biblioteca Digital de Teses e Dissertações do ITA - Instituto Tecnológico de Aeronáuticatrue
dc.title.none.fl_str_mv Simulação lógica hierárquica de sistemas digitais
title Simulação lógica hierárquica de sistemas digitais
spellingShingle Simulação lógica hierárquica de sistemas digitais
Paschoal Molinari Neto
Sistemas digitais
Simulação
Computação
title_short Simulação lógica hierárquica de sistemas digitais
title_full Simulação lógica hierárquica de sistemas digitais
title_fullStr Simulação lógica hierárquica de sistemas digitais
title_full_unstemmed Simulação lógica hierárquica de sistemas digitais
title_sort Simulação lógica hierárquica de sistemas digitais
author Paschoal Molinari Neto
author_facet Paschoal Molinari Neto
author_role author
dc.contributor.none.fl_str_mv Wagner Chiepa Cunha
dc.contributor.author.fl_str_mv Paschoal Molinari Neto
dc.subject.por.fl_str_mv Sistemas digitais
Simulação
Computação
topic Sistemas digitais
Simulação
Computação
dc.description.none.fl_txt_mv 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.
description 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.
publishDate 1989
dc.date.none.fl_str_mv 1989-11-01
dc.type.driver.fl_str_mv info:eu-repo/semantics/publishedVersion
info:eu-repo/semantics/masterThesis
status_str publishedVersion
format masterThesis
dc.identifier.uri.fl_str_mv http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1470
url http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1470
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Instituto Tecnológico de Aeronáutica
publisher.none.fl_str_mv Instituto Tecnológico de Aeronáutica
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações do ITA
instname:Instituto Tecnológico de Aeronáutica
instacron:ITA
reponame_str Biblioteca Digital de Teses e Dissertações do ITA
collection Biblioteca Digital de Teses e Dissertações do ITA
instname_str Instituto Tecnológico de Aeronáutica
instacron_str ITA
institution ITA
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações do ITA - Instituto Tecnológico de Aeronáutica
repository.mail.fl_str_mv
subject_por_txtF_mv Sistemas digitais
Simulação
Computação
_version_ 1706804994153381888

Registros relacionados