Metodologia eficiente de Verificação Funcional de Hardware DSP utilizando UVM e modelos em MATLAB - João Luiz Carneiro Carvalho (2016)