Fast algorithms for static compaction of sequential circuit test vectors | IEEE Conference Publication | IEEE Xplore