Harnessing Simulation Acceleration to Solve the Digital Design Verification Challenge.