dc.creator.ID |
SILVEIRA, G. S. |
pt_BR |
dc.creator.Lattes |
http://lattes.cnpq.br/2934289095298260 |
pt_BR |
dc.contributor.advisor1 |
MELCHER, Elmar Uwe Kurt. |
|
dc.contributor.advisor1ID |
MELCHER, E. U. K. |
pt_BR |
dc.contributor.advisor1Lattes |
http://lattes.cnpq.br/2995510206880397 |
pt_BR |
dc.contributor.referee1 |
ARAÚJO, Joseana Macêdo Fechine Régis. |
|
dc.contributor.referee2 |
BATISTA, Leonardo Vidal. |
|
dc.description.resumo |
O advento das novas tecnologias de VLSI (Very Large Scale Integration) e
metodologias de projetos de SoC (System on Chip), provocou um crescimento
explosivo na complexidade de circuitos eletrônicos modernos. Como resultado, a
verificação funcional se tornou o principal “gargalo” no fluxo de projetos digitais. A
verificação funcional possui dois problemas principais: escolha de bons estímulos e
medida de cobertura. As indústrias vêm lançando nos últimos anos diversos
dispositivos eletrônicos, capazes de manipular vídeos digitais. Os codificadores e
decodificadores de vídeo vêm se tornando cada vez mais comuns entre os
consumidores, popularizando o conceito da compressão de vídeo. Para realização
da verificação funcional de um decodificador de vídeo, é necessário que o estímulo
utilizado no processo esteja no formato de um vídeo digital codificado, este vídeo
deve possuir as características necessárias para estimular adequadamente o circuito
digital do decodificador. Esta dissertação de mestrado busca auxiliar na solução de
problemas ocorridos na verificação funcional de IP-Cores de decodificadores de
vídeos. Durante esse trabalho, foi desenvolvido um gerador de vídeo chamado de
RandMovie, capaz de produzir vídeos sintéticos aleatórios, a parti do qual o
projetista será capaz de gerar vídeos com estímulos direcionados para verificação
funcional com cobertura. |
pt_BR |
dc.publisher.country |
Brasil |
pt_BR |
dc.publisher.department |
Centro de Engenharia Elétrica e Informática - CEEI |
pt_BR |
dc.publisher.program |
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO |
pt_BR |
dc.publisher.initials |
UFCG |
pt_BR |
dc.subject.cnpq |
Ciência da Computação. |
pt_BR |
dc.title |
Gerador de vídeo pseudo-aleatório sintético na verificação funcional de circuitos decodificadores de vídeo MPEG-4. |
pt_BR |
dc.date.issued |
2008-06-20 |
|
dc.description.abstract |
The advent of the new VLSI technology and SoC design methodologies has brought
about an explosive growth to the complexity of modern electronic circuits. As a result,
the functional verification has become the main bottleneck in any digital design flow.
The functional verification has two major problems: choose good stimuli and
measure coverage. The industries are producing in the last years several electronic
devices, capable of manipulating digital movie. The movie encoders and decoders
are becoming more and more common among the consumers, popularizing the
concept of the movie compression. In order to implement the functional verification of
a movie decoder, the stimuli should be in a coded digital movie format. This movie
should have the necessary characteristics to stimulate the decoder digital circuit
properly. This work presents a solution for the problems that appeared during the
functional verification of movie decoders IP-Cores. A movie generator called
RandMovie has been developed; it is capable of producing random synthetic movies.
With this movie generator the engineer will be capable of generating movies to be
used as stimuli in the functional verification with coverage. |
pt_BR |
dc.identifier.uri |
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1496 |
|
dc.date.accessioned |
2018-08-18T15:11:54Z |
|
dc.date.available |
2018-08-18 |
|
dc.date.available |
2018-08-18T15:11:54Z |
|
dc.type |
Dissertação |
pt_BR |
dc.subject |
Gerador de Vídeo |
pt_BR |
dc.subject |
Vídeo Pseudo-Aleatório Sintético |
pt_BR |
dc.subject |
Circuitos Cecodificadores de Vídeo MPEG-4 |
pt_BR |
dc.subject |
Vídeos MPEG-4 |
pt_BR |
dc.subject |
Circuitos Eletrônicos |
pt_BR |
dc.subject |
Verificação Funcional - Circuitos |
pt_BR |
dc.subject |
Projetos Digitais |
pt_BR |
dc.subject |
Vídeos Digitais |
pt_BR |
dc.subject |
Codificador de Vídeo |
pt_BR |
dc.subject |
Decodificador de Vídeo |
pt_BR |
dc.subject |
Compressão de Vídeo |
pt_BR |
dc.subject |
IP-Cores - Verificação Funcional |
pt_BR |
dc.subject |
Video Decoder |
pt_BR |
dc.subject |
Synthetic Pseudorandom Video |
pt_BR |
dc.subject |
Video Compression |
pt_BR |
dc.subject |
Digital Videos |
pt_BR |
dc.subject |
Functional Verification - Circuits |
pt_BR |
dc.rights |
Acesso Aberto |
pt_BR |
dc.creator |
SILVEIRA, George Sobral. |
|
dc.publisher |
Universidade Federal de Campina Grande |
pt_BR |
dc.language |
por |
pt_BR |
dc.title.alternative |
Pseudo-random synthetic video generator in the functional verification of MPEG-4 video decoder circuits. |
pt_BR |
dc.identifier.citation |
SILVEIRA, George Sobral. Gerador de vídeo pseudo-aleatório sintético na verificação funcional de circuitos decodificadores de vídeo MPEG-4. 2008. 66 f. (Dissertação de Mestrado em Ciência da Computação) Programa de Pós-graduação em Ciência da Computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande - Paraíba - Brasil, 2008. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1496 |
pt_BR |