Clock Domain Crossing Verification Challenges | IEEE Conference Publication | IEEE Xplore