SV随机化
Randomization
验证的核心思想就是随机约束!!!建议看原文第六章!
What is the most common reason why bugs are missed during testing of the RTL design? Not enough different confi gurations have been tried! Most tests just use the design as it comes out of reset, or apply a fi xed set of initialization vectors to put it into a known state. This is like testing a PC’s operating system right after it has been installed, and without any applications; of course the performance is fi ne, and there are no crashes.
Over time, in a real world environment, the DUT’s confi guration becomes more and more random. In a real world e