Métricas de testabilidade : controlabilidade e observabilidade em circuitos combinacionais

• Ano de defesa: 2019
• Autor(a) principal: Arocha, Artur Freitas
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Palavras-chave em Português: Engenharia de computação; Circuitos integrados; Método SCOAP; Método CAMELOT; Testes; Testabilidade; Controlabilidade; Observabilidade; Computer engineering; Integrated circuits; SCOAP method; CAMELOT method; Tests; Testability; Controllability; Observability
• Link de acesso: http://repositorio.furg.br/handle/1/8094

A garantia do desempenho, da acurácia e dos baixos custos na produção em larga escala de circuitos integrados (CI) é influenciada pelo teste, sendo essa uma rotina crucial no processo de desenvolvimento de CIs. As métricas de testabilidade permitem melhorias no projeto de CIs. Durante o estudo das métricas de testabilidade no método SCOAP pelo autor, foi observada a falta de uma metodologia padrão para obtenção das equações para cálculo da controlabilidade e observabilidade para uma função lógica qualquer. Deste modo, este trabalho apresenta uma metodologia para obtenção destas equações para qualquer função lógica. A comparação dos resultados obtidos com os disponíveis na literatura mostrou que os objetivos parciais foram alcançados. Além disso, foi desenvolvido um software para automatizar a obtenção das métricas de testabilidade em circuitos com os métodos CAMELOT e SCOAP. Ambos métodos se mostraram eficazes para apontar topologias de CIs melhor projetadas com foco na testabilidade.