Biblioteca Digital de Teses e Dissertações da UFCG 2 Biblioteca Digital de Teses e Dissertações da UFPB 1 Repositório Institucional da UFG 1 Repositório Institucional da UFPE 1 Repositório Institucional da UFS 1

Programa de Pós-graduação em Engenharia Elétrica e da Computação (EMC) 1

Carvalho, Carlos Augusto Ayres 1 Franco, Ricardo Augusto Pereira 1 OLIVEIRA, Helder Fernando de Araújo 1 Otávio Piedade Prado, Bruno 1 Prado, Bruno Otávio Piedade 1 ROCHA, Ana Karina de Oliveira 1

Silva, Karina Rocha Gomes da 1

Dissertação 6

Português 6

Ciência da Computação. 2 Cobertura funcional 2 Metodologia VeriSC 2 VeriSC 2 Verificação Funcional 2 ASIC 1 Mais ... Algoritmos genéticos 1 Alliance CAD System 1 Asynchronous time transactions 1 BVM - Verification Methodology 1 Brazil-IP Verification Methodology 1 CIENCIA DA COMPUTACAO 1 Circuito Digital 1 Cobertura Funcional 1 Digital systems 1 Functional Verification 1 Functional coverage 1 Functional verification 1 Functional verification - methodology 1 Ip-Core SoCs 1 Metodologia de Verificação Funcional VeriSC 1 Modelagem computacional 1 Modelagem de transações temporais 1 OVM 1 OVM, VeriSC 1 Sistemas digitais 1 SoC 1 SoC, Sistemas Digitais 1 Time transaction modeling 1 Transações temporais assíncronas 1 Ver todos ... menos ...

Functional coverage 1 Functional verication 1 Genetic algorithms 1 VeriSC methodology 1

SISTEMAS DE COMPUTACAO 1