Recherche
VDS
Verification & Modeling of Digital Systems
Thèmes de recherche
Flot de vérification,
Vérification basée sur les assertions aux niveaux RTL et TLM,
Méthodes formelles pour la vérification et le déboguage,
Preuve de bon fonctionnement par démonstration de théorème,
Simulation symbolique.
Rapport annuel d'activité
