Publicações

IP - SoC 2012: Extraction methods of vocal characteristics for Embedded Systems.pdf

Simpósio Brasileiro de Engenharia de Sistemas Computacionais: Verificao Funcional para Sistemas Digitais utlizando System Verilog.pdf

64ª Reunião Anual da SBPC: VERIFICAO FUNCIONAL DE UM SISTEMA DE COMUNICAO DE DUV UTILIZANDO SYSTEM VERILOG.pdf

64ª Reunião Anual da SBPC: UM ESTUDO DAS METODOLOGIAS OVM E BVM.pdf

IP-SOC 2011: ASIC Implementation of a Speech Detector IP-Core for Real-Time Speaker Verification

Dynamic Modelling: Methodoly For Modelling and Simulation of Dynamic and Partially Reconfigurable Systems.

IP-SOC 2010: SPVR: um núcleo de IP para verificação de locutor em Tempo Real.

VI Congresso de Iniciação Científica da UFCG: Detecção de Início-fim de Elocuções para Verificação de Locutor em Sistemas Embarcados

SAC 2009: Improving functional verification of embedded systems using hierarchical composition and set theory.

 Download

SC_LP SBCCI_2009: Functional Verification of Power Gate Design in SystemC RTL

VLSI SoC 2009: Design Approach for a Low Power Video Decoder

RandMovie SIGMAP_2008: A Random Constrained Movie Versus a Random Unconstrained Movie Applied to the Functional Verification of an MPEG4 Decoder Design

RandMovie SBCCI_2007: Functional Verification of an MPEG-4 Decoder Design using a Random Constrained Movie Generator

IP SoC 2007: eTBc: A Semi-Automatic Testbench Generation Tool

SForum 2007: An MPEG-4 DECODER DESIGN VERIFICATION USING FUNCTIONAL COVERAGE.

A Methodology Aimed at Better Integration of Functional Verification and RTL Design.

 Download

An Automatic Testbench Generation Tool for a SystemC Functional Verification Methodology

 p143-Silva.ps

Silicon Validated IP Cores Designed By Brazil-IP Network

 IPSOC2006.pdf

DigiSeal - An Application using Functional Verification with timed transactions

 DigiSeal.pdf

Design Approach for a Low Power Video Decoder.

Propostas

Adalberto Gomes Teixeira Júnior - 2013

Thiago Fonseca Meneses - 2011

Ianna Duarte Kobayashi de Souza - 2010

Matheus Bezerra Estrela Rodrigues - 2010

Maria de Lourdes do Nascimento Neta - 2009

Fabrício Gutemberg Lélis de Melo - 2009

Dissertações

Maria de Lourdes do Nascimento Neta - 2012

Thiago Fonseca Meneses - 2012

Matheus Bezerra Estrela Rodrigues - 2012

Helder Fernando de Araújo Oliveira - 2010

Henrique do Nascimento Cunha - 2008

Ana Karina de Oliveira Rocha - 2008

George Sobral Silveira - 2008

Isaac Maia Pessoa - 2007

Daneilla Dias Cavalcante da Silva - 2006

Alisson Vasconcelos de Brito - 2003

Karina Rocha Gomes da Silva - 2001

Qualificações

Helder Fernando de Araújo Oliveira - 2012

Teses

Karina Rocha Gomes da Silva - 2007

George Sobral Oliveira - 2012

Helder Fernando de Araújo Oliveira - 2015

Documentos Internos *

Apresentações

 * Acesso restrito