Síntese lógica automática de circuitos sequenciais síncronos baseada em máquinas de estados finitos

Detalhes bibliográficos
Ano de defesa: 1989
Autor(a) principal: José Nelson Amaral
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:
Circuitos lógicos
Teoria de autômatos
Circuitos sequenciais
Computação
Teses de Mestrado-1989
Link de acesso: http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1467
Resumo: Nesta dissertação realiza-se um estudo dos procedimentos destinados a eliminação de estados redundantes em máquinas de estados finitos incompletamente especificadas. Um algoritmo para realizar a codificação de estados nestas máquinas é proposto. Situações de ocorrências de perigos estático são identificadas. Um sistema destinado ao projeto automático de circuitos sequenciais síncronos é proposto e implementado com uma interface confortável ao usuário onde são integrados os algoritmos para minimização e codificação de estados, geração de equações de excitação dos registradores e minimização lógica.
id ITA_733ea0d3d4533e6bf0653081745b7b2d
oai_identifier_str oai:agregador.ibict.br.BDTD_ITA:oai:ita.br:1467
network_acronym_str ITA
network_name_str Biblioteca Digital de Teses e Dissertações do ITA
spelling Síntese lógica automática de circuitos sequenciais síncronos baseada em máquinas de estados finitosCircuitos lógicosTeoria de autômatosCircuitos sequenciaisComputaçãoTeses de Mestrado-1989Nesta dissertação realiza-se um estudo dos procedimentos destinados a eliminação de estados redundantes em máquinas de estados finitos incompletamente especificadas. Um algoritmo para realizar a codificação de estados nestas máquinas é proposto. Situações de ocorrências de perigos estático são identificadas. Um sistema destinado ao projeto automático de circuitos sequenciais síncronos é proposto e implementado com uma interface confortável ao usuário onde são integrados os algoritmos para minimização e codificação de estados, geração de equações de excitação dos registradores e minimização lógica.Instituto Tecnológico de AeronáuticaWagner Chiepa CunhaJosé Nelson Amaral1989-10-01info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1467reponame: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:1467http://oai.bdtd.ibict.br/requestopendoar:null2020-05-28 19:36:28.454Biblioteca Digital de Teses e Dissertações do ITA - Instituto Tecnológico de Aeronáuticatrue
dc.title.none.fl_str_mv Síntese lógica automática de circuitos sequenciais síncronos baseada em máquinas de estados finitos
title Síntese lógica automática de circuitos sequenciais síncronos baseada em máquinas de estados finitos
spellingShingle Síntese lógica automática de circuitos sequenciais síncronos baseada em máquinas de estados finitos
José Nelson Amaral
Circuitos lógicos
Teoria de autômatos
Circuitos sequenciais
Computação
Teses de Mestrado-1989
title_short Síntese lógica automática de circuitos sequenciais síncronos baseada em máquinas de estados finitos
title_full Síntese lógica automática de circuitos sequenciais síncronos baseada em máquinas de estados finitos
title_fullStr Síntese lógica automática de circuitos sequenciais síncronos baseada em máquinas de estados finitos
title_full_unstemmed Síntese lógica automática de circuitos sequenciais síncronos baseada em máquinas de estados finitos
title_sort Síntese lógica automática de circuitos sequenciais síncronos baseada em máquinas de estados finitos
author José Nelson Amaral
author_facet José Nelson Amaral
author_role author
dc.contributor.none.fl_str_mv Wagner Chiepa Cunha
dc.contributor.author.fl_str_mv José Nelson Amaral
dc.subject.por.fl_str_mv Circuitos lógicos
Teoria de autômatos
Circuitos sequenciais
Computação
Teses de Mestrado-1989
topic Circuitos lógicos
Teoria de autômatos
Circuitos sequenciais
Computação
Teses de Mestrado-1989
dc.description.none.fl_txt_mv Nesta dissertação realiza-se um estudo dos procedimentos destinados a eliminação de estados redundantes em máquinas de estados finitos incompletamente especificadas. Um algoritmo para realizar a codificação de estados nestas máquinas é proposto. Situações de ocorrências de perigos estático são identificadas. Um sistema destinado ao projeto automático de circuitos sequenciais síncronos é proposto e implementado com uma interface confortável ao usuário onde são integrados os algoritmos para minimização e codificação de estados, geração de equações de excitação dos registradores e minimização lógica.
description Nesta dissertação realiza-se um estudo dos procedimentos destinados a eliminação de estados redundantes em máquinas de estados finitos incompletamente especificadas. Um algoritmo para realizar a codificação de estados nestas máquinas é proposto. Situações de ocorrências de perigos estático são identificadas. Um sistema destinado ao projeto automático de circuitos sequenciais síncronos é proposto e implementado com uma interface confortável ao usuário onde são integrados os algoritmos para minimização e codificação de estados, geração de equações de excitação dos registradores e minimização lógica.
publishDate 1989
dc.date.none.fl_str_mv 1989-10-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=1467
url http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1467
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 Circuitos lógicos
Teoria de autômatos
Circuitos sequenciais
Computação
Teses de Mestrado-1989
_version_ 1706804994204762112

Registros relacionados