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 les simulateurs et les outils formels. D'autres solutions sont proposées par Verplex (bibliothèque d'assertions en Verilog) ou Verisity (langage de vérification e).