Metodologias de suporte a verificação e análise de modelos de plataformas em alto nível de abstração

Metodologias de suporte a verificação e análise de modelos de plataformas em alto nível de abstração

Bruno de Carvalho Albertini

TESE

Português

T/UNICAMP AL14m

[Analysis and verification support methodologies for high abstractions level platforms]

Campinas, SP : [s.n.], 2011.

68 f. : il.

Orientadores: Sandro Rigo, Guido Costa Souza de Araújo

Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação

Resumo: 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, sendo o mais recente nível de abstração representado pelo que é chamado de projeto Electronic System Level (ESL) e os projetos baseados em plataformas....

Abstract: The increasing complexity of high level hardware descriptions has motivated the creation of development methodologies for several years, being the most recent level of abstraction represented by projects based on platforms and on the so called Electronic System Level design (ESL). In this...

Metodologias de suporte a verificação e análise de modelos de plataformas em alto nível de abstração

Bruno de Carvalho Albertini


										

Metodologias de suporte a verificação e análise de modelos de plataformas em alto nível de abstração

Bruno de Carvalho Albertini

    Exemplares