PSL (Property specification language), le langage d’écriture de propriétés et d’assertions utilisé pour la vérification formelle d’une conception, vient d’être approuvé dans sa version 1.1 par l’organisme Accelera. En parallèle, le processus de standardisation auprès de l’IEEE vient de démarrer. Une des améliorations de la version 1.1 de PSL est d’avoir rapproché sa sémantique de

…