5 ms·
Do you mean RTL to gates formal verification?
by KSS42 6y ago
Do 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.