Checking experiments to test latches | IEEE Conference Publication | IEEE Xplore