An effective and efficient algorithm to analyse and debug clock propagation issues | IEEE Conference Publication | IEEE Xplore