ELEKTRONIKPRAXIS Artikel | 20.08.2010 Formale Verifikation mit OneSpin 360 MV erzwingt die 100%-Prüfung