Design for Verification with Dynamic Assertions | IEEE Conference Publication | IEEE Xplore