Cours de formation en ligne
Le cours est dispensé en espagnol ou en anglais
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 où les preuves de certification requises par les normes de sécurité seront générées.
Le cours est orienté vers les personnes ayant des notions dans le développement de projets sous les règles de sécurité venant du domaine du logiciel ou ayant une expérience préalable dans l'utilisation de VHDL.
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
