Ascent 2.2.1 et Meridian CDC 2.5 de Real Intent
L’éditeur améliore les performances et les fonctionnalités de ses logiciels utilisant les preuves formelles pour la vérification fonctionnelle et pour la vérification entre domaines d’horloges.
- Ascent : fonction d’analyse locale
- Support des instructions pour le compilateur (pragma) en ligne
- Meridian : support des modèles pour les analyses hiérarchiques
…
Cet article n'est pas accessible publiquement.
Connectez-vous pour accéder à ce contenu.
