Clock domain verification challenges and scalable solutions | IEEE Conference Publication | IEEE Xplore