In practice, programs have bugs and it would be a major risk to assume that all steps from RTL through the final tape-out netlist have been performed without error.
На практиці, програми містять баги, і вважати, що всі кроки від RTL до кінцевого нетлістa виконані без помилок.