En el diseño automatizado de circuitos integrados , las comprobaciones de aprobación (también escritas como sign-off ) son el nombre colectivo que se le da a una serie de pasos de verificación que el diseño debe pasar antes de que pueda ser grabado . Esto implica un proceso iterativo que involucra correcciones incrementales en todos los ámbitos utilizando uno o más tipos de comprobación y luego volviendo a probar el diseño. Hay dos tipos de aprobación: aprobación del front-end y aprobación del back-end. Después de la aprobación del back-end, el chip pasa a fabricación. Después de enumerar todas las características en la especificación, el ingeniero de verificación escribirá la cobertura de esas características para identificar errores y enviará de vuelta el diseño RTL al diseñador. Los errores o defectos pueden incluir problemas como características faltantes (comparando el diseño con la especificación), errores en el diseño (errores tipográficos y funcionales), etc. Cuando la cobertura alcanza un porcentaje máximo, el equipo de verificación lo aprobará. Al utilizar una metodología como UVM, OVM o VMM, el equipo de verificación desarrolla un entorno reutilizable. Hoy en día, UVM es más popular que otros.
A finales de los años 60, los ingenieros de empresas de semiconductores como Intel utilizaban rubylith para la producción de fotomáscaras de litografía de semiconductores. Los esquemas de circuitos dibujados manualmente de los dispositivos semiconductores fabricados por ingenieros eran transferidos manualmente a hojas de papel vitela de tamaño D por un diseñador esquemático experto para hacer un diseño físico del dispositivo en una fotomáscara. [1] [1] : 6
El ingeniero original revisaría a mano el papel y lo firmaría más tarde ; todas las modificaciones a los esquemas también se anotarían, se verificarían y, nuevamente, se firmarían . [1] : 6
Las comprobaciones de aprobación se han vuelto más complejas a medida que los diseños VLSI se acercan a los nodos de proceso de 22 nm y menores, debido al mayor impacto de los efectos de segundo orden que antes se ignoraban (o se aproximaban de forma más burda). Existen varias categorías de comprobaciones de aprobación.
Un pequeño subconjunto de herramientas se clasifica como "de calidad dorada" o de calidad de aprobación. Categorizar una herramienta como de calidad de aprobación sin sesgo del proveedor es una cuestión de ensayo y error, ya que la precisión de la herramienta solo se puede determinar después de que se haya fabricado el diseño. Por lo tanto, una de las métricas que se utilizan (y que a menudo promocionan los fabricantes/proveedores de herramientas) es la cantidad de pruebas exitosas que permite la herramienta en cuestión. Se ha argumentado que esta métrica es insuficiente, está mal definida e irrelevante para ciertas herramientas, especialmente las que solo desempeñan un papel en el flujo completo. [2]
Si bien los proveedores a menudo embellecen la facilidad de ejecución de extremo a extremo (generalmente RTL a GDS para ASIC y RTL a cierre de tiempo para FPGA ) a través de su respectivo conjunto de herramientas, la mayoría de las empresas de diseño de semiconductores utilizan una combinación de herramientas de varios proveedores (a menudo llamadas herramientas " lo mejor de su clase ") para minimizar los errores de correlación antes y después del silicio. [3] Dado que la evaluación de herramientas independientes es costosa (las licencias individuales para herramientas de diseño de los principales proveedores como Synopsys y Cadence pueden costar decenas o cientos de miles de dólares) y una propuesta riesgosa (si la evaluación fallida se realiza en un diseño de producción, lo que resulta en un retraso en el tiempo de comercialización ), es factible solo para las empresas de diseño más grandes (como Intel , IBM , Freescale y TI ). Como valor agregado , varias fundiciones de semiconductores ahora ofrecen metodologías de referencia/recomendadas previamente evaluadas (a veces denominadas flujos "RM") que incluyen una lista de herramientas, versiones y scripts recomendados para mover datos de una herramienta a otra y automatizar todo el proceso. [4]
Esta lista de proveedores y herramientas pretende ser representativa y no es exhaustiva: