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

• Main Author: Oliveira, Bernadete Aparecida de Lima
• Other Authors: UNIVERSIDADE ESTADUAL DE CAMPINAS
• Format: Others
• Language: Portuguese
• Published: [s.n.] 1991
• Subjects: Circuitos integrados digitais; Eletrônica digital
• Online Access: 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: <http://www.repositorio.unicamp.br/handle/REPOSIP/258802>. Acesso em: 20 jul. 2018.; http://repositorio.unicamp.br/jspui/handle/REPOSIP/258802

Orientador: Carlos Ignacio Zamitti Mammana === Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica === Made available in DSpace on 2018-07-20T12:52:05Z (GMT). No. of bitstreams: 1 Oliveira_BernadeteAparecidadeLima_M.pdf: 7535472 bytes, checksum: e73e28ddffdc140006b4037f05f8fbef (MD5) Previous issue date: 1991 === Resumo: 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 especificado === Abstract: Not informed. === Mestrado === Mestre em Engenharia Elétrica