¿Qué tan difícil es hacer un chip? Un error en una operación de división le costó 475 millones de dólares.
El desarrollo de chips es un proceso extremadamente complejo y costoso. Un pequeño error en una unidad de división de coma flotante en un chip Intel Pentium provocó un gasto de 475 millones de dólares en su retirada global en los años 90. Esto ilustra la dificultad central: un chip debe funcionar correctamente desde el primer intento, a diferencia del software que puede parchearse posteriormente.
Según estudios, solo el 24% de los proyectos de chips tienen éxito en el primer "tape-out" (fabricación). Más del 70% del ciclo de diseño se dedica a la verificación, un proceso crucial para detectar errores. Verificar exhaustivamente un núcleo de CPU con las tecnologías actuales más avanzadas podría llevar miles de años, lo que es inviable.
El campo de la verificación de chips se enfrenta a un "triángulo de imposibilidad" entre alto rendimiento, buena capacidad de depuración y bajo coste. A pesar de ser un trabajo arduo y menos glamuroso que áreas como la IA, es fundamental. El autor, investigador y divulgador, lidera un equipo que desarrolla la plataforma ágil de verificación ENCORE, basada en FPGAs, para mejorar la eficiencia. También realiza divulgación científica para hacer esta compleja tecnología más accesible, argumentando que vale la pena perseverar en tareas difíciles y a largo plazo como la investigación en verificación y la divulgación técnica.
marsbit06/15 10:35
