Accelerating Assertion Coverage With Adaptive Testbenches


We present a new approach to bias random test generation for accelerating assertion coverage. The novelty of the proposed approach is that it treats the design under test as a black box and attempts to steer the simulation toward coverage points that are relevant for targeted assertions purely through external control. We present this approach over three… (More)
DOI: 10.1109/TCAD.2008.917975


5 Figures and Tables