Apakah ada teknik yang bisa digunakan insinyur listrik untuk memverifikasi bahwa rangkaian benar-benar melakukan operasi yang dijelaskan dalam spesifikasi, dan tidak ada operasi lain?
Secara teori, ya, saya pikir ini mungkin. Namun, untuk CPU yang kompleks akan membutuhkan banyak waktu dan uang. Juga, jika Anda tidak sepenuhnya mengetahui dan memahami desain, Anda tidak akan dapat menilai apakah ada kegiatan yang "sah" atau tidak.
CPU adalah "hanya" sirkuit digital kompleks yang terdiri dari banyak sel logika.
Dimungkinkan untuk merekayasa balik chip dan merekonstruksi desain dengan mengamati koneksi logam. Mungkin ada banyak dari lapisan koneksi ini seperti hingga 8 lapisan atau lebih.
Anda akan membutuhkan para ahli di bidang ini untuk mengenali sel-sel logika dan kemudian mungkin beberapa perangkat lunak dapat mengetahui bagaimana mereka semua terhubung sehingga Anda dapat merekonstruksi netlist.
Setelah Anda memiliki netlist, Anda "tahu" desainnya. Itu tidak berarti Anda sekarang juga tahu cara kerjanya!
Bisa jadi fungsi tertentu mengaktifkan 2 bagian dari desain sementara Anda berpikir satu harus cukup sehingga Anda kemudian curiga beberapa aktivitas mencurigakan sedang terjadi. Namun, desain melakukan beberapa trik pintar yang tidak Anda ketahui untuk mempercepat operasi.
Tanpa mengetahui dan memahami desain, kesimpulan apa pun yang Anda buat mungkin masih salah. Hanya para insinyur yang mendesain CPU yang memiliki semua informasi desain dan memiliki peluang terbaik untuk dapat mengetahui atau menebak apa yang sebenarnya terjadi atau harus berjalan dalam CPU.