3 ms·
How long would formal verification on something this big even take?
by colejohnson66 6y ago
How long would formal verification on something this big even take?
- KSS42 6y agoDo you mean RTL to gates formal verification?
- colejohnson66 6y agoYes. Also, I’m assuming[a] that a GPU would take about the same as a CPU because despite GPUs having billions more transistors, they have a lot of duplicated modules compared to a CPU which has many more different modules but probably only one or two of each (per core). [a]: My knowledge of creating hardware is very limited. So I could be completely wrong.