Record & play: a structural fixed point iteration for sequential circuit verification.

Dominik Stoffel, Wolfgang Kunz

Browse the full ICCAD paper archive.