La lecture de cet article est réservée aux abonnés.
Connectez-vous ou abonnez-vous pour y accéder.
Outils de vérification fonctionnelle et d’horloges
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…
