OneSpin 360 Module Verifier (MV) d’OneSpin Solutions
Ce module de vérification formelle permet la validation simultanée de toutes les configurations des composants de propriété intellectuelle configurables.
Vérification one-shot
Configurations multiples
Configurations fonctionnelles
Configurations dimensionnelles
Rens. : www.onespin-solutions.com