I. Em verificação de caixa preta (“black-box verification”), a verificação funcional é realizada sem conhecimento da
implementação do RTL.
II. Em verificação de caixa branca (“white-box verification”), a verificação funcional é realizada tendo visibilidade
completa do projeto digital implementado.
Sobre as afirmações acima, pode-se dizer que:
A
Em verificação de caixa preta, observamos as entradas e saídas de todos os módulos da hierarquia do design.
B
Um testbench utilizando a metodologia de caixa branca pode ser reutilizado em uma implementação diferente do mesmo
projeto.
C
Um contador problemático pode ser verificado sem aumento de risco utilizando a metodologia de caixa preta, mesmo
que ele não seja facilmente controlável ou seus valores observáveis.
D
Uma metodologia de teste correta tenta sempre que possível utilizar a metodologia de caixa-preta, mas utilizando
metodologia de caixa-branca em partes de risco maior.
E
Verificação de caixa branca deve ser utilizada se todos os testes para a validação funcional do projeto forem escritos
durante a implementação do projeto.