Dynamic state and objective learning for sequential circuit automatic test generation using recomposition equivalence | IEEE Conference Publication | IEEE Xplore