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
…