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
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.