Dado que em um código a nível de RTL, a operação: if (a ^...
Imagem de fundo

Dado que em um código a nível de RTL, a operação: if (a ^...

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