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 (360MV). Ce processus permet en effet de fournir des résultats de vérification prédictibles et répétables pour des modules et des blocs d'IP complexes, en guidant l'utilisateur au sein de la construction systématique d'un modèle de référence fonctionnel et de haut niveau. GapFreeVerification définit une séquence structurée et intégrée des activités de l'utilisateur et des tâches de l'outil. Cette séquence assure ensuite la transformation, d'une manière prédictible, de la conception à vérifier (DUV) avec sa spécification informelle en une spécification formelle de l'ensemble des fonctionnalités attendues du DUV (une conception équivalente qui peut être prouvée). Cette spécification formelle sert de modèle de référence, mentionné auparavant, pour la comparaison avec la conception à vérifier.