Seminar Notification: New School Formal Verification - UK, Germany & Israel

Announcements
, , ,
1

New School Formal Verification Seminar - 3 Locations: Israel, Germany & UK.

View agenda, then register

Location, Date & Time:

  • Herzliya, Israel - 6/28 | 9:00 - 14:00 Asia/Jerusalem
  • Munich, Germany - 6/28 | 9:00 - 14:00 Europe/Berlin
  • Newbury, UK - 7/1 | 9:00 - 14:00 Europe/London

Overview:

One of the biggest developments in the formal verification world in the past several years has been the industry-wide growth of formal-based "apps". But how do formal apps really work in practice? Attend this seminar to learn how you can adopt new school formal apps for connectivity checking, accelerating coverage, mitigating X effects, securing your system and more.