Design for sequential testability: an internal state reseeding approach for 100 % fault coverage | IEEE Conference Publication | IEEE Xplore