Chipcflow - validação e implementação do modelo de partição e protocolo de comunicação no grafo a fluxo de dados dinâmico

Abstract

Agradeço ao Prof. Dr. Jorge Luiz e Silva, pela orientação do trabalho realizado, pela paciência em corrigir meus erros no decorrer desse processo e pelos conselhos ao longo desses últimos anos.Agradeço aos colegas de projeto Lucas Sanches e Vitor Astolfi, pelas discussões e pelo subsídio à este trabalho, no qual não seria possível sem eles.Agradeço ao CNPq, pelo auxílio financeiro de Agosto de 2008 até Fevereiro de 2010. Ao Instituto de Ciências Matemáticas e de Computação da Universidade de São Paulo pela oportunidade de realizar esse curso de mestrado. Aos professores pelos ensinamentos,e aos funcionários pelos excelentes serviços prestados. Agradeço aos funcionários do ICMC pela presteza, paciência e dedicação em sanar minhas incontáveis dúvidas, em especial às funcionárias Lhaís Visentin, Ana Paula, Laura Aparecida e Elizabeth Luisa Moretti e Silva.Agradeço aos meus amigos de laboratório Daniel F. Bonetti, Bruno Mazzotti, Christiane Brasil, Marcilyanne Gois e Vinicius Melo, pelo auxílio, paciência e ajuda na correção de trabalhos e total apoio nas minhas necessidades. Agradeço aos meus amigos Renato Rodrigues e Rodrigo Córdoba pela paciência pelo convívio ao longo desses anos e pela ajuda preciosa na elaboração deste trabalho.Agradeço aos meus amigos e colegas de São Carlos, Adalberto Gonzaga, Bruno