Automated Test Generation for Activation of Assertions in RTL Models.

Yangdi Lyu, Prabhat Mishra

Browse the full ASPDAC paper archive.