Towards coverage closure: Using GoldMine assertions for generating design validation stimulus

Lingyi Liu, David Sheridan, William Tuohy, Shobha Vasudevan. Towards coverage closure: Using GoldMine assertions for generating design validation stimulus. In Design, Automation and Test in Europe, DATE 2011, Grenoble, France, March 14-18, 2011. pages 173-178, IEEE, 2011. [doi]

No reviews for this publication, yet.