Como encontrar a não conformidade com uma especificação quando ambos os RTL'ers e os engenheiros de verificação perdem um determinado recurso de especificação?

Question

Tenho algumas perguntas sobre a verificação de IP.

Suponha que se um determinado projeto / funcionalidade de uma especificação de IP estiver ausente tanto no RTL quanto no plano de verificação (pontos de cobertura), como você identificaria esse bug?

Uma vez que não foi implementado em RTL (perdido no SPEC), não podemos identificar a partir da cobertura do código.

Por favor, esclareça isso.

Obrigado

Answer 1

Alguém deve estar comparando o plano de verificação com a especificação IP de nível superior.Para cada ponto na especificação, a pergunta "como mostramos que atendemos a esse requisito?"precisa de uma boa resposta.

(Se o recurso em questão não estiver lá, a especificação de nível superior precisa ser corrigida!)

Answer 2

Você pode criar uma lista de recursos e escrever seus testes com base nela.

Answer 3

As revisões do projeto e do plano de teste geralmente envolvem a comparação da especificação IP com os referidos projetos e planos de teste.O redator de especificações de IP geralmente também está presente e pode identificar pontos na especificação que não são cobertos.