- This event has passed.
Club Formal Europe 2020
December 3, 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.
- 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