Redundancy removal for sequential circuits without reset states | IEEE Journals & Magazine | IEEE Xplore