State relaxation based subsequence removal for fast static compaction in sequential circuits | IEEE Conference Publication | IEEE Xplore