Stimuli generation with late binding of values
Avi Ziv · 2004
Generating test-cases that reach corner cases in the de-sign is one of the main challenges in the functional verifi-cation of complex designs. In this paper, we describe a new technique that increases the ability of test generators by de-laying assignment of values in the generated stimuli, un-til these values are used in the design. This late-binding al-lows the generator to have a more accurate view of the state of the design, and thus it can better choose the correct val-ues. Experimental results show that late-binding can signif-icantly improve coverage, with a reasonable penalty in sim-ulation time. 1.