Donde:
Y= rendimiento del proceso
N= circuitos integrados
Nv= circuitos integrados vlidos
Algunos modelos son:
Fundamentado en la distribucin de Poisson (ms sencillo-1960):
Donde:
A= rea del chip
D0= densidad de defectos del proceso de fabricacin
Fundamentado en la distribucin binomial negativa (SIA-1997):
Donde:
= factor de agrupamiento (tpicamente toma un valor entre 2 y 5)
Modelos de fallos: Se selecciona uno o varios tipos de fallos aun modelo
de circuito.
Algunos modelos son:
Stuck-at (cortocircuitos)
sa0-sa1
Utilizando estimaciones de la distribucin de errores de fabricacin se puede
obtener una ecuacin que relaciona los circuitos errneos no detectados (D) con
el yield del proceso (Y) y el porcentaje de cobertura de defectos (T):
Quiere decir que cubriendo todos los fallos de fabricacin, un valor de T del 80%
con un yield del 50% proporciona un nmero de circuitos defectuosos que se
creen buenos del 13% del total. Si se incrementa T hasta el 95% el porcentaje cae
al 3.4%, y en un T del 99.9% el valor es de 0.07% siendo de alta calidad.
Generacin automtica de vectores de test (ATPG): es un mtodo de
automatizacin de diseo electrnico/tecnologa utilizada para encontrar una
secuencia de entrada que, cuando se aplica a un circuito digital, permite a los
equipos de prueba automtica para distinguir entre el comportamiento del circuito
correcto y el comportamiento del circuito defectuoso del equipo causados por
defectos.
El proceso ATPG para una falla especfica consta de dos fases: la activacin falla
y la propagacin de fallos. Activacin de fallo establece un valor de seal en el
sitio de modelos culpa que est enfrente del valor producido por el modelo falla. La
propagacin de fallos mueve el valor de la seal resultante, o efecto de la falta,
hacia adelante mediante la sensibilizacin de un camino desde el sitio culpa a una
salida primaria.