Compiler optimization with Greta Yorsh
Signals and Threads
00:00
Is There a Way to Speed Up Execution?
Using concrete execution to speed up verification, or using information gathered from testing fit up execution goddes. By running tests, you have a fast way to cover a certain area, and it speeds up the verification of the rest. It's not one thicgnit that are many techniques, but this is the general way in which i think they help each other.
Transcript
Play full episode
