• Votre sélection est vide.

    Enregistrez les diplômes, parcours ou enseignements de votre choix.

Test et Vérification

  • Composante

    ENSEIRB-MATMECA

Code interne

ES8EN227

Description

L'objectif de cet enseignement est de faire comprendre les enjeux liés à la vérification des systèmes numériques lors de leurs phases de conception. Afin d'améliorer les processus de conception et réduire le temps de développement, les méthodes usuelles employées lors de la conception de systèmes numériques sont détaillées. Enfin, ces méthodes sont mise en oeuvre durant une séquence de TDs/TPs à l'aide des langages C et VHDL.

Lire plus

Pré-requis obligatoires

Une matrise des langages C/C++ et VHDL est nécessaire.

Lire plus

Syllabus

Partie 1: Les enjeux de la vérification des systèmes
Partie 2: Les méthodes de vérifications
Partie 3: Les outils de vérification pour le développement logiciel.
Partie 4: Les outils de vérification pour le développement matériel.

Lire plus

Informations complémentaires

Vérification, Cycle en V, Programmation logicielle (C/C++), Architectures matérielles (VHDL), testbench

Lire plus

Modalités de contrôle des connaissances

Évaluation initiale / Session principale - Épreuves

Type d'évaluationNature de l'épreuveDurée (en minutes)Nombre d'épreuvesCoefficient de l'épreuveNote éliminatoire de l'épreuveRemarques
ProjetContrôle Continu1