Formal MDV Seminar - ITU ARI2 Binası Istanbul
Traditional formal verification flows leave the user in the dark about the verification progress and quality. Novice users often struggle with questions like: How good are my assertions?, or How much have I verified? Metric driven formal verification with 360 MV removes this uncertainty by comprehensively analyzing and tracking RTL code and assertions throughout the design space. It identifies both verified and unverified RTL code, showing engineers at a glance exactly where to put assertions to fill the verification holes. Complemented by a number of useful push-button solutions, this methodology makes formal verification a productive tool for everyone.
The workshop is free. Hotel accommodation and meals other than lunch are not included. Register by sending an email.
Toplantı Salonu (15-kişilik) ARI 2 Binası, Koru Yolu
İ.T.Ü. Ayazağa Kampüsü, Maslak 34469 Is