Blbost.
Představ si, že máš komplet otevřený zdrojáky ve Verilogu od jádra. Jak ti to pomůže předejít chybě, pokud
- je chyba v syntezátoru a něco ti z toho v rámci optimalizace vypadne blbě?
- je tam BSD licence, výrobce čipů si to forkne a nějaký expert něco ručně "optimalizuje"?
- chyba se projeví až ve spojení s konkrétní chybou SW, třeba nesmyslnou sekvencí instrukcí / nepoužívaným opcode...
Tohle obecně pomůže na backdoor (nějaká cesta ven) a podobně, ne na podobný věci.