Busca avançada
Ano de início
Entree
Conteúdo relacionado

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)

Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa:
Mais itensMenos itens
Matéria(s) publicada(s) em Outras Mídias ( ):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)

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., . (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.