Pete Hardee, Cadence, introduces the expansion of the JasperGold Formal Verification Platform with the introduction of the JasperGold Superlint and CDC Apps.For more information on the JasperGold technologies for RTL signoff, please visit www.cadence.com/go/rtlsignoff.