Defesa de Tese de Doutorado: Diego Zuquim Guimarães Garcia
Document Actions
Defesa de Tese de Doutorado: Bruno de Carvalho Albertini
Metodologias de Verificação e Análise de Modelos de Plataformas em Alto Nível de Abstração.
| What | Defesa de Doutorado |
|---|---|
| When |
06/10/2011 from 10:00 to 14:00 |
| Where | Auditório do IC - Sala 85 - IC 2 |
| Add event to calendar |
vCal
iCal
|
A crescente complexidade das descrições de hardware em alto nível tem motivado a criação de metodologias de desenvolvimento por vários anos, culminando com o que é chamado de projeto Electronic System Level (ESL) e com os projetos baseados em plataforma. Neste cenário, a exploração de diversos modelos arquiteturais System-on-Chip (SoC) é a chave para se ajustar a aplicação e melhorar o seu desempenho. Isto demanda uma infraestrutura de simulação de plataformas capaz de simular com rapidez, em um alto nível de abstração tanto o software quanto o hardware. O SystemC despontou como uma das linguagens de descrição mais adotadas e, juntamente com o Transaction Level Modeling (TLM), vem sendo amplamente reconhecido como a técnica mais propícia para desenvolvimento em ESL. Uma das características mais marcantes de TLM é a possibilidade de reutilizar toda a infraestrutura da plataforma tanto para a simulação de hardware e software quanto para a verificação. A integração da verificação no fluxo de projeto é muito importante numa metodologia baseada em TLM. Por exemplo, guiando a simulação para casos limites através da injeção de estímulos. Este tipo de funcionalidade é útil para aumentar a cobertura da verificação. Nesta tese são propostas três metodologias para melhorar a capacidade de introspecção, depuração e análise de modelos de plataformas. A primeira delas diz respeito a uma metodologia de reflexão computacional aplicável a módulos SystemC através da inserção de módulos de inspeção, que chamamos de ReflexBox. A segunda técnica desenvolvida foi chamada de SignalReplay, consistindo de uma evolução da primeira técnica voltada para o log e análise de dados instrumentados. Já a terceira metodologia visa extrair metadados através da reflexão de tipos sobrecarregados, permitindo que o projetista aplique técnicas de compiladores para a análise de hardware. Os resultados obtidos são apresentados na forma de casos de estudo, com métricas mostrando que a metodologia criada é pouco intrusiva, não necessita modificações no ambiente e gera uma sobrecarga pequena em relação aos benefícios proporcionados pela introspecção.
Concurso Público para Professor Doutor - MS-3
