L’IEEE vient d’approuver, sous la référence IEEE 1850, la standardisation du langage PSL (Property specification language) dédié à l’écriture d’assertions. Le point de départ de ce processus de normalisation, démarré il y a un an, était la version 1.1 de PSL fourni par l’organisme Accelera. Les différences par rapport à cette version de départ sont

…