A ata de defesa, com as respectivas assinaturas dos membros da Comissão Julgadora, encontra-se no processo de vida acadêmica do aluno. v Dedicado aos que sonham com a independência e a libertação da ciência e tecnologia do Brasil. vi AGRADECIMENTOS A Deus, por inúmeras razões. À minha família, em especial à minha ESPOSA, meus PAIS e IRMÃOS, que apoiaram intensamente.À UNICAMP, pela oportunidade de conquistar o direito de estudar nessa casa de excelência no ensino de Engenharia.Ao professor Yuzo Iano, ao qual tenho enorme gratidão pela confiança e paciência em todas as etapas deste trabalho.Aos amigos do CT2/CI-Brasil, Victor Gabriel, Ana Carolina, Wander Martins, Lucas Andrade, Elcio Ishii e Alexsander Deucher, pela pronta ajuda sempre que necessária.Aos amigos de Freescale, Cezar Santos, Alexandre Lujan, Walter Ensinas e Celso Brites, também pela pronta ajuda sempre que necessária.Aos amigos de LSITEC, Jose Ramires, Vinicius Martins, Diego Deotti, Dionísio Carvalho, pela convivência sempre pacífica e agradável.Aos amigos do LCV, Abel, Hermes, Júlio Leon, Agord Pinto Junior, pelo apoio com materiais, ferramentas de teste e pelo compartilhamento de outros materiais fundamentais para a realização desse trabalho.Ao Exército Brasileiro, pela oportunidade e apoio na montagem de um laboratório de sistemas de segurança na Subseção de Segurança da Informação com o uso de ferramentas para testes de circuitos digitais em FPGA com abordagem na segurança de hardware.A todos vocês, agradecemos o apoio fornecido para concluir este trabalho. vii "Nenhum tesouro, por mais valioso que seja, não supera o tesouro da honestidade" (Meishu-Sama) viii RESUMO Circuitos integrados digitais ou de sinais analógicos e digitais, CIs, desempenham um papel importante e crítico no design e desenvolvimento dos sistemas embarcados dentro de armas inteligentes e sistemas militares. A tremenda demanda por armas inteligentes junto com o surgimento do terrorismo cibernético, bem como a guerra eletrônica e de informação, mudaram os requisitos de projeto de sensores e sistemas eletrônicos militares. O surgimento deste cenário trouxe a necessidade de verificação do funcionamento de sistemas digitais e analógicos. Deste modo, metodologias de verificação funcional começaram a se destacar no ambiente da arquitetura digital. Com isso, a verificação funcional torna-se uma ferramenta indispensável para a construção e implementação de hardware de propósito específico, e também de propósito geral, denominados IP Core; Semicondutor Intelectual Property Core. O trabalho de implementação do controlador digital apresentado utiliza a linguagem de descrição de hardware Verilog e para a verificação e validação dos dados, utiliza-se a e language, como desenvolvimento de um ambiente de validação, com a finalidade de verificar o comportamento do circuito. A integração da estrutura do sistema do conversor permite que o sistema de controle possa ser simulado, testado e validado sem necessidade de um protótipo. A metodologia eRM do controle digital é baseada na e language, ...