Invalid state identification for sequential circuit test generation | IEEE Conference Publication | IEEE Xplore