RTL Formal Verification Flow Development
Stage réalisé chez Melexis pour développer un flux de vérification formelle RTL.
- Développement d'un flux de vérification CDC automatisé avec l'outil Cadence JasperGold.
- Optimisation du linting RTL avec Superlint et documentation des bonnes pratiques.
Environnement technique