4 ms·
You break it down into smaller parts and test those as discrete units.
by andy_ppp 6y ago
You break it down into smaller parts and test those as discrete units.
- Tomte 6y agoNot just that: you have dozens, hundreds or thousands of unit A, and of unit B, and of unit C. You test each of these units once, and then some measure of interplay.
- colejohnson66 6y agoHow 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.