Desenvolvimento, implementacao e analise de metodos de verificacao funcional dirigidos por cobertura para circuitos digitais.

• Processo: 06/52164-3
• Modalidade de apoio: Auxílio à Pesquisa - Regular
• Data de Início da vigência: 01 de agosto de 2006
• Data de Término da vigência: 31 de julho de 2008
• Área do conhecimento: Engenharias - Engenharia Elétrica - Circuitos Elétricos, Magnéticos e Eletrônicos
• Pesquisador responsável: Wang Jiang Chau
• Beneficiário: Wang Jiang Chau
• Instituição Sede: Escola Politécnica (EP). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Assunto(s): Inteligência artificial
• Palavra(s)-Chave do Pesquisador: Cobertura Funcional | Inteligencia Artificial | Testbench | Verificacao Funcional

Resumo

A verificação funcional é uma das principais tarefas dentro do fluxo de projeto de sistemas digitais integrados, permitindo checar, a consistência após cada etapa, ou seja, verificar que o sistema sempre comporta-se de acordo com a especificação. Sabe-se que a etapa de verificação funcional é aquela, dentro do fluxo de projeto, que mais recursos humanos e de tempo consome, sendo identificada como o seu principal gargalo. Para diminuir o tempo ocupado pela verificação funcional, algumas propostas baseadas em técnicas de inteligência artificial (algoritmos genéticos, Data Mining, redes Bayesianas, etc.) têm sido sugeridas. São os métodos de verificação funcional dirigidos por cobertura e, por eles, a análise de cobertura identificar os aspectos da cobertura menos excitados e, daí, indicar como mudar os padrões de geração de estímulos para reduzir o tempo de obtenção de determinada cobertura global. É objetivo do presente plano de pesquisa fazer uma investigação sobre as alternativas existentes de verificação funcional dirigidas por cobertura, procurando-se implementar, em particular, as de Data Mining e redes Bayesianas, para efeitos de comparação. É um segundo objetivo, estudar comparativamente e implementar uma outra técnica, conhecida como Support Vector Machine (SVM), como também alternativa de análise da cobertura. Esta técnica, ainda não apresentada na literatura técnica relacionada à verificação funcional, tem sido considerada mais rápida e precisa que outras técnicas de aprendizado em uma série de áreas, como a de reconhecimento de padrões e bio-informática. (AU)