Stage de fin d’études – Modélisation et validation d’un Secure Element
Intégration de l'environnement EDA industriel pour participer à la modélisation et à la validation d'un élément sécurisé.
- Développement de modèles SystemC/TLM-2.0 à partir de descriptions RTL avec intégration d'interfaces AMBA.
- Mise en place d'une co-simulation RTL/SystemC sous Cadence Xcelium pour la vérification fonctionnelle.
- Analyse et caractérisation d'architectures de moteurs cryptographiques selon les métriques Performance, Power, Area (PPA).
- Contribution à une étude ayant abouti à une publication scientifique.
Environnement technique