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