L’allemand Onespin Solutions, spécialisé dans les outils pour la vérification formelle des circuits intégrés, vient d’étoffer son offre logi… L’allemand Onespin Solutions, spécialisé dans les outils pour la vérification formelle des circuits intégrés, vient d’étoffer son offre logicielle avec GapFreeVerification, un processus de vérification systématique destiné à améliorer significativement la productivité de 360 Module Verifier…