John Sanguinetti Eugene Zhang The relationship of code coverage metrics on high-level and RTL code. 138-141 2010 HLDVT http://dx.doi.org/10.1109/HLDVT.2010.5496649 conf/hldvt/2010 db/conf/hldvt/hldvt2010.html#SanguinettiZ10