Cuando se trata de la verificación de circuitos digitales, ¿cuál es la diferencia entre el significado de los siguientes términos:
¿Cuál es la diferencia entre especificación y requisito ?
¿Cuál es la diferencia entre feature y function y cómo se relacionan con las especificaciones y los requisitos?
Finalmente, ¿a qué se refiere el término configuración para un diseño que se verifica?
Básicamente, una especificación es una lista de requisitos. Un requisito generalmente se define como cualquier declaración que contenga la palabra "deberá". Por ejemplo, una especificación para un multímetro digital podría incluir el siguiente requisito: "El DMM tendrá una resolución de pantalla de 3000 conteos". Una función es una capacidad del equipo. Nuevamente, usando A DMM como ejemplo, una función sería la capacidad de medir voltios de CA. Una característica es una capacidad particular que hace que el dispositivo se destaque. Por ejemplo, el DMM presenta un ancho de banda amplio de 100 kHz con la función de voltios de CA, que es mejor que la mayoría de los DMM. Tanto las características como las funciones deben especificarse en los requisitos o no se diseñarán en el dispositivo. La configuración se refiere a si el dispositivo como fue diseñado cumplirá con todas sus especificaciones. Nuevamente, por ejemplo, si el dispositivo usa resistencias del 5%, sería difícil verificar que cumple con el requisito de precisión del 1%.
Lea otras preguntas en las etiquetas system-verilog verification