Static analysis of asynchronous clock domain crossings | IEEE Conference Publication | IEEE Xplore