Record and play: a structural fixed point iteration for sequential circuit verification | IEEE Conference Publication | IEEE Xplore