Debugging clock-data race failures caused by vulnerable design | IEEE Conference Publication | IEEE Xplore