Accelerating Assertion Coverage With Adaptive Testbenches

Bhaskar Pal, Ansuman Banerjee, Arnab Sinha, Pallab Dasgupta. Accelerating Assertion Coverage With Adaptive Testbenches. IEEE Trans. on CAD of Integrated Circuits and Systems, 27(5):967-972, 2008. [doi]

Abstract

Abstract is missing.