¿Cómo se puede encontrar una no conformidad con una especificación cuando tanto los RTL como los ingenieros de verificación pierden una característica de especificación en particular?

Question

Tengo algunas preguntas sobre la verificación de IP.

Suponga que si un diseño / funcionalidad particular de una especificación de IP se pierde tanto en el RTL como en el plan de verificación (puntos de cobertura), ¿cómo identificaría este error?

Dado que no se ha implementado en RTL (omitido en SPEC), no podemos identificarlo a partir de la cobertura del código.

Por favor, aclare esto.

Gracias

Answer 1

Alguien debería comparar el plan de verificación con la especificación de IP de nivel superior.Para cada punto de la especificación, la pregunta "¿cómo demostramos que cumplimos con este requisito?"necesita una buena respuesta.

(Si la función en cuestión no está ahí, entonces es necesario corregir la especificación de nivel superior)

Answer 2

Puede crear una lista de funciones y escribir sus pruebas en función de eso.

Answer 3

Las revisiones del diseño y del plan de prueba generalmente implican la comparación de la especificación de IP con dichos diseños y planes de prueba.El escritor de especificaciones de IP también suele estar presente y puede identificar puntos en la especificación que no están cubiertos.