Utilizacao de reflexao computacional em descricoes de hardware de alto nivel.

• Processo: 07/58129-8
• Modalidade de apoio: Bolsas no Brasil - Doutorado
• Data de Início da vigência: 01 de maio de 2008
• Data de Término da vigência: 28 de fevereiro de 2009
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Sistemas de Computação
• Pesquisador responsável: Sandro Rigo
• Beneficiário: Bruno de Carvalho Albertini
• Instituição Sede: Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Assunto(s): Reflexão computacional
• Palavra(s)-Chave do Pesquisador: Esl | Reflexao Computacional | System C

Resumo

O projeto de pesquisa consiste no desenvolvimento de um arcabouço de instrumentação e introspecção de código baseado em reflexão computacional. Este ambiente servirá como base para o desenvolvimento de novas metodologias de teste e verificação de descrições de hardware de alto nível de abstração, especialmente em SystemC. A proposta está sendo estudada e alguns testes de viabilidade foram executados para embasar e nortear o rumo das pesquisas, partindo de idéias que surgiram ainda durante o mestrado. Os resultados iniciais já estão sendo utilizados por projetos de cooperação em pesquisa por duas universidades, além de alunos do mesmo grupo de pesquisa do candidato. (AU)

Publicações científicas

(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)

MARCILIO, GABRIEL; SANTOS, LUIZ C. V.; ALBERTINI, BRUNO; RIGO, SANDRO; IEEE. A Novel Verification Technique to Uncover Out-of-Order DUV Behaviors. DAC: 2009 46TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, v. N/A, p. 2-pg., 2009-01-01. (07/58129-8)

Publicações acadêmicas

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

ALBERTINI, Bruno de Carvalho. Metodologias de suporte a verificação e análise de modelos de plataformas em alto nível de abstração. 2011. Tese de Doutorado - Universidade Estadual de Campinas (UNICAMP). Instituto de Computação Campinas, SP.