OpenVera 2.0 intègre des « assertions »

Le 01/05/2002 à 0:00 par La rédaction
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…
La lecture de cet article est réservée aux abonnés.
Connectez-vous ou abonnez-vous pour y accéder.
Copy link
Powered by Social Snap