Questão número 515686

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”.