Pseudo-random vector compaction for sequential testability | IEEE Conference Publication | IEEE Xplore