Procedures for static compaction of test sequences for synchronous sequential circuits based on vector restoration | IEEE Conference Publication | IEEE Xplore