¿Existen técnicas que un ingeniero eléctrico podría usar para verificar que un circuito realmente realiza las operaciones descritas en su especificación y no otras operaciones?
En teoría, sí, creo que esto es posible. Sin embargo, para una CPU compleja tomará mucho tiempo y dinero. Además, si no conoce y comprende completamente el diseño, no podrá juzgar si alguna actividad es "legítima" o no.
Una CPU es "solo" un circuito digital complejo que consta de muchas celdas lógicas.
Es posible realizar ingeniería inversa del chip y reconstruir el diseño observando las conexiones metálicas. Puede haber muchas de estas capas de conexión, como hasta 8 capas o más.
Necesitará expertos en el campo para reconocer las celdas lógicas y luego tal vez algún software pueda descubrir cómo están todos conectados para que pueda reconstruir la lista de redes.
Una vez que tenga la lista de redes, "conocerá" el diseño. ¡Eso no significa que ahora también sepa cómo funciona!
Podría ser que una determinada función active 2 secciones del diseño mientras cree que una debería ser suficiente, por lo que sospecha que está ocurriendo alguna actividad sospechosa. Sin embargo, el diseño hace algún truco inteligente que no conoce para acelerar las operaciones.
Sin conocer y comprender el diseño, cualquier conclusión que extraiga podría estar equivocada. Solo los ingenieros que diseñaron la CPU tienen toda la información de diseño y tienen la mejor oportunidad de ser capaces de descubrir o adivinar qué sucede realmente o qué debería ocurrir en una CPU.