Automated Test Generation for Activation of Assertions in RTL Models | IEEE Conference Publication | IEEE Xplore