A global algorithm for the partial scan design problem using circuit state information | IEEE Conference Publication | IEEE Xplore