Utilisation d'une méthode de correction de retards pour la vérification d'un assemblage de fonctions RTL par rapport à un assemblage de fonctions au niveau fonctionnel

National audience

Atlas de Paris. Les métamorphoses d’une ville intense.

2 ème édition

Actes de la conférence conjointe JEP-TALN-RECITAL 2016, volume 09 : ELTAL

International audience