Checking sequence generation for asynchronous sequential elements | IEEE Conference Publication | IEEE Xplore