Simulação compilada para arquiteturas descritas em ArchC

• Processo: 01/09424-0
• Modalidade de apoio: Bolsas no Brasil - Doutorado Direto
• Data de Início da vigência: 01 de março de 2002
• Data de Término da vigência: 28 de fevereiro de 2005
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Sistemas de Computação
• Pesquisador responsável: Rodolfo Jardim de Azevedo
• Beneficiário: Marcus Bartholomeu
• Instituição Sede: Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Palavra(s)-Chave do Pesquisador: Corretude | Hdl | Openc++ | Reflexao Computacional | System C | Verificacao Automatica

Resumo

O aumento na sofisticação dos produtos em áreas como telecomunicações móveis e multimedia têm resultado em um aumento formidável na complexidade de seus sub-sistemas eletrônicos. Por outro lado, a forte competição aliada a margens de lucro estreitas encontradas neste mercado vêm causando uma drástica redução no tempo de vida útil de um produto. Como resultado, o tempo permitido para execução de um projeto vem sendo espremido ao máximo. O resultado desta combinação de fatores é um enorme interesse na pesquisa de ferramentas que permitam a execução rápida e correta de um projeto eletrônico. A ferramenta proposta neste projeto tem por objetivo reduzir o risco de erros de implementação, através de um mecanismo automático de verificação de consistência entre as entradas e as saídas de cada componente do sistema. A idéia é capturar automaticamente as chamadas de procedimentos entre os vários componentes escritos em SystemC, em seus diferentes níveis de abstração, possibilitando assim uma verificação gradual do projeto a medida que este evoluiu até a implementação final. Esta abordagem será implementada através de um protocolo de Metas-objetos derivados de técnicas de Reflexão Computacional utilizadas em linguagens de programação. (AU)

Publicações acadêmicas

(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)

BARTHOLOMEU, Marcus. Simulação compilada para arquiteturas descritivas em ArchC. 2005. Tese de Doutorado - Universidade Estadual de Campinas (UNICAMP). Instituto de Computação Campinas, SP.