Cette version permet de créer un modèle de référence des spécifications, de réaliser la simulation et la vérification par preuve formelle et de générer automatiquement le code C/C++, Verilog ou VHDL.

Navigation rapide dans le gestionnaire de projets et la conception
Design Verifier : aide à la validation

…