Dado que em um código a nível de RTL, a operação:
if (a ^ b)
foi erroneamente trocada por:
if (a | b)
Que tipo de metodologia de teste e métrica de cobertura de teste provavelmente conseguirá detectar o problema?
A
Simulação direta com métrica de cobertura de linha de código.
B
Teste de equivalência de circuitos entre o RTL e o circuito sintetizado a nível de portas lógicas.
C
Simulação aleatória com métrica de cobertura de condição.
D
Simulação direta com métrica de cobertura de caminhos.
E
Simulação aleatória com métrica de cobertura de “toggle”.