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…