Especificação de um auditor de testabilidade de projetos de cI's digitais baseados em celulas

Detalhes bibliográficos
Autor(a) principal: Oliveira, Bernadete Aparecida de Lima
Data de Publicação: 1991
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1582699
Resumo: Orientador: Carlos Ignacio Zamitti Mammana
id UNICAMP-30_ce938fc1c96210c304f29954c5a132d8
oai_identifier_str oai::93516
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Especificação de um auditor de testabilidade de projetos de cI's digitais baseados em celulasCircuitos integrados digitaisEletrônica digitalOrientador: Carlos Ignacio Zamitti MammanaDissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia EletricaResumo: Esta dissertação trata a especificação de um sistema de auditoria de testabilidade de projetos de CI's digitais baseados em células. Situa a utilização de um sistema como esse no ciclo de projeto, descreve metodologias de projeto para testabilidade, particularmente os métodos de projeto com "scan", e as regras de testabilidade associadas que esse auditor deve verificar. Descreve características de ferramentas de apoio ao projeto de CIs, com enfoque especial às que são dirigi das à síntese com testabilidade ou à verificação de técnicas de projeto para testabilidade. Aproveitando as facilidades de implementação proporcionadas pelas características dos sistemas especialistas, é especificado um sistema baseado em verificação de regras constantes de uma base de conhecimento. É descrito o protótipo implementado e são comentados resultados de processamento de casos práticos. Considerando os resultados obtidos com o protótipo e as perspectivas do ambiente de projeto de CI's digitais são fornecidas conclusões sobre a validade de sistemas de verificação como o sistema especificadoAbstract: Not informed.MestradoMestre em Engenharia Elétrica[s.n.]Mammana, Carlos Ignacio Zamitti, 1941-Cortês, Mario LúcioAmazonas, José Roberto de AlmeidaUniversidade Estadual de Campinas. Faculdade de Engenharia ElétricaPrograma de Pós-Graduação em Engenharia ElétricaUNIVERSIDADE ESTADUAL DE CAMPINASOliveira, Bernadete Aparecida de Lima19911991-09-09T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf152p. : il.(Broch.)https://hdl.handle.net/20.500.12733/1582699OLIVEIRA, Bernadete Aparecida de Lima. Especificação de um auditor de testabilidade de projetos de cI's digitais baseados em celulas. 1991. 152p. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1582699. Acesso em: 14 mai. 2024.https://repositorio.unicamp.br/acervo/detalhe/93516porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2022-05-04T18:07:12Zoai::93516Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2022-05-04T18:07:12Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Especificação de um auditor de testabilidade de projetos de cI's digitais baseados em celulas
title Especificação de um auditor de testabilidade de projetos de cI's digitais baseados em celulas
spellingShingle Especificação de um auditor de testabilidade de projetos de cI's digitais baseados em celulas
Oliveira, Bernadete Aparecida de Lima
Circuitos integrados digitais
Eletrônica digital
title_short Especificação de um auditor de testabilidade de projetos de cI's digitais baseados em celulas
title_full Especificação de um auditor de testabilidade de projetos de cI's digitais baseados em celulas
title_fullStr Especificação de um auditor de testabilidade de projetos de cI's digitais baseados em celulas
title_full_unstemmed Especificação de um auditor de testabilidade de projetos de cI's digitais baseados em celulas
title_sort Especificação de um auditor de testabilidade de projetos de cI's digitais baseados em celulas
author Oliveira, Bernadete Aparecida de Lima
author_facet Oliveira, Bernadete Aparecida de Lima
author_role author
dc.contributor.none.fl_str_mv Mammana, Carlos Ignacio Zamitti, 1941-
Cortês, Mario Lúcio
Amazonas, José Roberto de Almeida
Universidade Estadual de Campinas. Faculdade de Engenharia Elétrica
Programa de Pós-Graduação em Engenharia Elétrica
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Oliveira, Bernadete Aparecida de Lima
dc.subject.por.fl_str_mv Circuitos integrados digitais
Eletrônica digital
topic Circuitos integrados digitais
Eletrônica digital
description Orientador: Carlos Ignacio Zamitti Mammana
publishDate 1991
dc.date.none.fl_str_mv 1991
1991-09-09T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv (Broch.)
https://hdl.handle.net/20.500.12733/1582699
OLIVEIRA, Bernadete Aparecida de Lima. Especificação de um auditor de testabilidade de projetos de cI's digitais baseados em celulas. 1991. 152p. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1582699. Acesso em: 14 mai. 2024.
identifier_str_mv (Broch.)
OLIVEIRA, Bernadete Aparecida de Lima. Especificação de um auditor de testabilidade de projetos de cI's digitais baseados em celulas. 1991. 152p. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1582699. Acesso em: 14 mai. 2024.
url https://hdl.handle.net/20.500.12733/1582699
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/93516
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
152p. : il.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1799138313920053248