Ez csak az első lépés. Szerintem fordítót "simán" lehet szintén bizonyítottan helyeset írni. A hardverre ugyanez eljátszható (HDL nyelv és bizonyítottan jó "fordító"). A gyártási hibák kizárása történhet pl. elektronkmikroszkóppal, a későbbiekben történő, környezeti behatásokból eredeő meghibásodás ellen pedig lehet redundanciával védekezni.
Biztosan nem egyszerű feladat, de ha valamiért igény lenne rá, biztos akadna, aki megcsinálja.