Outil de conception pour systèmes sur une puceCette 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 conceptionDesign Verifier : aide à la validation de conceptionPasserelle entre…