Automatic formal verification of Clock Domain Crossing signals | IEEE Conference Publication | IEEE Xplore