La normalisation du langage PSL se fait au pas de charge

Le 09/09/2004 à 0:00 par Cédric Lardière

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

Cet article n'est pas accessible publiquement.
Connectez-vous pour accéder à ce contenu.

Copy link
Powered by Social Snap