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 Software

Rens. :

…