Test sequence compaction for sequential circuits with reset states | IEEE Conference Publication | IEEE Xplore