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 audienceLe processus de conception est actuellement bien maîtrisé du modèle RTL jusquau silicium pour lesapplications de traitement du signal. Les applications de traitement du signal deviennent de plus en pluscomplexes. Une façon de maîtriser cette complexité grandissante est délever le niveau dabstraction jusquauniveau fonctionnel. Ces applications sont généralement composées de sous-fonctions typiques et bien connuespouvant être validées indépendamment. Deux modèles de chaque sous-fonction peuvent alors être réalisés etvalidés au niveau fonctionnel et au niveau RTL. Lapplication complète de traitement du signal est modélisée auniveau fonctionnel et au niveau RTL en assemblant de la même façon plusieurs sous-fonctions pré-conçues. Bienquindividuellement les modèles RTL et fonctionnel des sous-fonctions produisent les mêmes sorties à un retardprès, le passage de lassemblage de ces sous-fonctions au niveau fonctionnel à lassemblage au niveau RTLentraîne une différence de comportement de lapplication complète : les sorties de lapplication complète auniveau fonctionnel et au niveau RTL ne sont plus identiques numériquement. Ce problème complique alors lavérification entre les deux niveaux dabstraction. Dans ce papier, nous analysons les causes de cette différence.Nous proposons une méthode systématique de correction (appelée correction de retards). Cette méthode estappliquée sur une chaîne de modulation numérique