Checagem de equivalência de sequências de estados de projetos digitais em RTL com modelos de referência em alto nível e de protocolo de comunicação.

by Carlos Iván Castro Márquez
Published 2014

Análise da influência do uso de domínios de parâmetros sobre a eficiência da verificação funcional baseada em estimulação aleatória.

by Carlos Ivan Castro Marquez
Published 2009