Simplifying Formal 1: Introduction to JasperGold® Formal Verification – Pete Hardee

Pete introduces some fundamental concepts about formal verification, and contrasts them with simulation. He also explains why JasperGold formal is easy to adopt.