360 MV 4.3 d’OneSpin Solutions La version de cet outil de vérification formelle pour les circuits spécifiques et les FPGA supporte les langages d’assertion standard. Supports de System Verilog Assertions (SVA) et de l’Open Verification Library (OVL) 2.0 Débogage du code RTL et des assertions Liens avec les outils de débogage de Novas SoftwareRens. : www.onespin-solutions.com