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

Lingyi Liu, David Sheridan, William Tuohy, Shobha Vasudevan

Browse the full DATE paper archive.