Francine Bacchini Alan J. Hu Tom Fitzpatrick Rajeev Ranjan David Lacey Mercedes Tan Andrew Piziali Avi Ziv Verification Coverage: When is Enough, Enough? 744-745 2007 conf/dac/2007 DAC http://doi.ieeecomputersociety.org/10.1109/DAC.2007.375262 db/conf/dac/dac2007.html#BacchiniHFRLTPZ07