Club Formal Europe 2020

Ready to share ideas and discuss your latest formal verification best practices?

Don´t miss this chance to extend your verification expertise and learn more about the latest advances in the field. Hear from members of the Cadence^®JasperGold^® R&D team about the technology, roadmap, and use cases. Join this digital event – a deep-dive, technical forum for intermediate and advanced users of Cadence^®JasperGold^® technology.

AGENDA (CET)

• 14:00 – 14:45: JasperGold Technology Overview, Pete Hardee, Cadence
• 14:45 – 15:30: Formal Verification Signoff for Digital IP: Can We Use It?, David Vincenzoni, ST Microelectronics
• 15:30 – 15:50: Break
• 15:50 – 16:10: Deep Dive in the JasperGold Superlint App—Auto-Formal with Innovative Deadcode Debug, Cadence
• 16:10 – 16:35: Deep Dive in the JasperGold Sequential Equivalence Checking (SEC) App—Clock Gating Coverage-Based, Cadence
• 16:35 – 17:00: Deep Dive in the Deep Bug Hunting (DBH) Methodology—Versatile Bug Hunting with Bound Swarm, Cadence