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

Navegue em mais questões

Erro ao Ler: SQLSTATE[HY093]: Invalid parameter number: number of bound variables does not match number of tokens