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

…