Linear-time algorithm for computing minimum checkpoint sets for simulation-based verification of HDL programs.

Elena Dubrova

Browse the full ISCAS paper archive.