Conclusively verifying clock-domain crossings in very large hardware designs | IEEE Conference Publication | IEEE Xplore