Experimental results show that HRV improve the efficiency of simulation verification, accelerate the errors detecting and locating for RTL HDL descriptions.