PSL Package d’OCP-IP
Ce kit, basé sur le langage PSL (Property Specific Language), assure le respect des spécifications, la qualité de la vérification et la compatibilité des blocs d’IP.
Langage matériel
Description structurelle
Apprentissage aisé de la syntaxe
4 niveaux de vérification
Rens. :www.OCPIP.org
Cet article n'est pas accessible publiquement.
Connectez-vous pour accéder à ce contenu.