Simplifying Formal 2: JasperGold® Formal Verification for RTL Designers – Michael Kindig