Verificação funcional de processador para controle de ruído acústico

Abstract

Este trabalho apresenta os aspectos de estudo de algoritmo e verificação funcional do projeto IP02-ANC. O projeto, executado na empresa NSCAD Microeletrônica entre Março e Julho de 2008, tem por objetivo desenvolver um circuito integrado para controle de ruído acústico. O capítulo inicial apresenta o problema de exposição da população ao ruído e a relevância do desenvolvimento de produtos que o minimizem. O capítulo seguinte apresenta o projeto IP02-ANC e as tarefas definidas em seu contexto. O capítulo 3 aborda o estudo do algoritmo utilizado e a implementação de um modelo que reproduz as características especificadas para o projeto. A verificação funcional do projeto do circuito digital, bem como uma introdução aos conceitos e metodologias utilizadas para tal fim são apresentadas no capítulo 4. Por fim, são apresentados os resultados experimentais e as conclusões sobre o trabalho desenvolvido.

This document presents the implementation of the functional model and the development of the verification environment for the IP02-ANC project, which aims to produce an integrated circuit for active noise control. The project was done in NSCAD Microeletrônica between March and July of 2008. The first chapter of this document introduces the problem of the constant exposure of the urban population to acoustic noise, and how important it is to develop solutions for it. The second chapter gives more explanation about the IP02-ANC project, including the tasks that were defined within it. The third chapter explores the algorithm study and implementation of the functional model for the project. After that, the fourth chapter contains a more detailed explanation about functional verification and the methodology that was adopted. Finally, the experimental results and the conclusions are presented in chapters five and six.