10x Verification Productivity Gains? What's Practical and What Isn't

Many challenges confronting design teams at the functional verification stage are inhibiting the advancement to a 10x increase in verification productivity. It's obvious that we can't just brute force the problem by throwing more computer resources at it. Challenges addressed in this presentation include: 1) Reaching 70-80% coverage is straight-forward using automated constrained random test methods. How can I reduce the time to achieve high levels of coverage and then quickly close the remaining coverage holes? 2) Systems include software as well as hardware. Simulation is impractical for validating anything longer than a 10's or 100's of lines of software code. How can I speed up the process of verifying my systems? 3) Systems include analog blocks within a majority digital SoC. How can I verify mixed signal functionality without dragging the verification efficiency to the level of a SPICE simulation? 4) Debug brings humans in the verification loop creating a huge drag on productivity. How can I speed up the debug process?