Uma arquitetura para verificação de blocos de computação gráfica em hardware
This work presents, analyzes and validates a novel verication architecture for computer graphics cores. This architecture has four stages and it is supported by two techniques: the automatic verication and the high and low level verication. The rst stage denesand implements a high level executable e...
| Autor: | |
|---|---|
| Formato: | tesis de maestría |
| Estado: | Versión publicada |
| Fecha de publicación: | 2005 |
| País: | Brasil |
| Recursos: | Universidade Federal de Minas Gerais (UFMG) |
| Repositorio: | Repositório Institucional da UFMG |
| Idioma: | portugués |
| OAI Identifier: | oai:repositorio.ufmg.br:1843/SLBS-6GUPEC |
| Acesso em linha: | http://hdl.handle.net/1843/SLBS-6GUPEC |
| Access Level: | acceso abierto |
| Palavra-chave: | Blocos Computação Gráfica Arquitetura Arquitetura de computadores Computação |
| Resumo: | This work presents, analyzes and validates a novel verication architecture for computer graphics cores. This architecture has four stages and it is supported by two techniques: the automatic verication and the high and low level verication. The rst stage denesand implements a high level executable especication for the computer graphics core. The second stage implements the Register Transfer Level (RTL) implementation and assertions are written. The last two stages are responsible for the sub-block verication and the system level verication of the design. In order to improve the verication stage performance, this work presents a graphical tool (GV T) and a Computer Aided Design tool (V 2T) that provides automatic verication at a higher and lower level of abstraction. Finally, a case study is perfomed to validate the proposed architecture of verication. This case study includes the design, verication and prototyping of a computer graphics core for an automatic optical inpection platform. |
|---|