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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.