DATE
30 juin - 3 juillet 2025
CALENDRIER
14:00 - 19:00 (CET Madrid)
Cours de formation en ligne
20 heures
4 jours × 5h
Il ne vous laissera pas indifférent
Ce cours se concentre sur la méthodologie de développement et de vérification de la logique programmable dans les FPGA et les SoC à l'aide de VHDL, en respectant les normes de sécurité requises dans les projets critiques.
Son objectif est de présenter les méthodologies, les outils et les bonnes pratiques de conception pour une vérification réussie des FPGA.
Il comprend la réalisation de cas pratiques de vérification de code VHDL à l'aide de l'outil ModelSim où les preuves de certification requises par les normes de sécurité seront générées.
Le cours s'adresse aux personnes ayant des notions dans le développement de projets soumis à des règles de sécurité dans le domaine du logiciel. Des connaissances de base en VHDL sont requises.
Les participants recevront les diapositives du cours au format pdf et les différents cas pratiques résolus.
Le formateur
Ingénieur en électronique et télécommunications et maître en robotique, avec vingt ans d'expérience dans les systèmes embarqués. Il combine une expérience dans le développement de matériel et de logiciels avec la certification de systèmes critiques.
Ordre du jour
- Planification
- Saisie des exigences
- Conception détaillée
- Saisie des exigences
- Conception détaillée
- Mise en œuvre
- Vérification et validation
- RTL contre code comportemental
- Bonnes pratiques et normes de codage
- Bibliothèques numériques
- Atténuation des SEU
- Systèmes tolérants aux pannes
- Sécurisez votre conception
- Bases des tests de régression
- Simulation HDL
- Analyse du domaine cross-clock
- Analyse statique du timing
- Simulation de la liste de réseau
- Tests matériels
- Couverture fonctionnelle
- Assertions
- Vérification aléatoire contrainte
- UVVM
- VUnit
- Outils de conception et de vérification
- Qualification et évaluation des outils
- Création d'un projet de démonstration
- Python pour les tests VHDL
- Installation de bibliothèques tierces
- Bibliothèques pour l'analyse des données
- Tests de régression
- Génération de données de test
- Synthèse et implémentation
- Tests rétro-annotés
Prix
Le prix standard est de 1 350 euros par participant.
Prix des primes :
- Inscriptions avant le 30 mai : 1 200 € par participant
- Inscriptions de 3 personnes ou plus de la même entreprise : 20% de réduction
Inscription
Une fois que nous aurons reçu votre demande d'inscription, nous vous enverrons un courriel pour vous indiquer comment la confirmer.
