Las pruebas de chips de computadoras virtuales revelan fallas y protegen contra los piratas informáticos

Por Matthew sparkes

Probar nuevos chips de computadora por seguridad y confiabilidad a menudo lleva más tiempo que diseñarlos. Un nuevo método para modelarlos virtualmente y probarlos con programas tradicionalmente utilizados para software en lugar de hardware podría reducir el tiempo de desarrollo.

Las pruebas de hardware actuales sondean al azar un chip en busca de fallas o buscan probar formalmente todas las entradas y salidas posibles en cada chip de computadora. El primer enfoque puede pasar por alto fácilmente los problemas, y el segundo rápidamente se vuelve inviable para todos los diseños excepto los más simples. De todos modos, puede que tarde …