La lecture de cet article est réservée aux abonnés.
Connectez-vous ou abonnez-vous pour y accéder.
La normalisation du langage PSL se fait au pas de charge
Quinze mois seulement après la version 1.01 (voir notre numéro du 12 juin 2003), Accellera, l’organisme en charge de la standardisation des langages de conception électronique, vient d’approuver la version 1.1 du Property Specification Language (PSL). Rappelons que le langage PSL permet d’écrire les spécifications des assertions au niveau de la vérification. L’une des principales évolutions…
