Ingénieure - V&V de FPGA critiques
Vérification et validation de FPGA critiques au sein d'une équipe aéronautique travaillant selon les normes de sécurité les plus strictes.
- Implémentation et évaluation d'un environnement de simulation dédié à la vérification de FPGA critiques conformément à la norme DO-254 DAL A.
- Analyse des exigences de vérification et étude des protocoles I2C et AXI-Stream pour définir une stratégie Assertion-Based Verification.
- Développement et intégration d'assertions de vérification avec SystemVerilog Assertions via bind, PSL inline et moniteurs comportementaux VHDL.
- Conception et exécution de scénarios de test sous QuestaSim, avec analyse des résultats de simulation et de la couverture fonctionnelle.
- Étude comparative des méthodologies ABV afin de définir une approche hybride adaptée aux systèmes FPGA critiques.
- Gestion de la configuration et du suivi des versions dans un environnement collaboratif avec SVN et Cockpit.
Environnement technique