Joonhyuk Yoo Manoj Franklin Prioritizing verification via value-based correctness criticality. 333-340 2007 ICCD http://dx.doi.org/10.1109/ICCD.2007.4601921 conf/iccd/2007 db/conf/iccd/iccd2007.html#YooF07