US7257802B2 - Method and System for Hardware Accelerated Verification of Digital Circuit Design and Its Testbench