La lecture de cet article est réservée aux abonnés.
Connectez-vous ou abonnez-vous pour y accéder.
OpenVera 2.0 intègre des « assertions »
La version 2.0 d’OpenVera, langage de développement de fichiers de tests lancé par Synopsys, intègre des éléments du langage ForSpec d’Intel. Ce dernier sert à créer des « assertions », ou déclarations spécifiant un comportement vérifiable par preuve formelle. Les assertions sont aussi intégrables aux fichiers de tests de simulation. L’idée est d’avoir un même langage pour…
