Linear-time algorithm for computing minimum checkpoint sets for simulation-based verification of HDL programs | IEEE Conference Publication | IEEE Xplore