Process de vérification formelle

Le 24/04/2008 à 0:00 par La rédaction

GapFreeVerification Process d’OneSpin Solutions

Ce processus de vérification systématique permet d’améliorer la productivité de 360 Module Verifier de l’éditeur, en fournissant des résultats prédictibles et répétables pour des modules et des blocs d’IP complexes.

Aide à la construction systématique d’un modèle de référence fonctionnel et de haut niveau
Définition d’une séquence structurée et intégrée des

Cet article n'est pas accessible publiquement.
Connectez-vous pour accéder à ce contenu.

Copy link
Powered by Social Snap