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

Le processus de conception est actuellement bien maîtrisé du modèle RTL jusqu’au 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 d’abstraction jusqu’auniveau 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. L’application 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. Bienqu’individuellement les modèles RTL et fonctionnel des sous-fonctions produisent les mêmes sorties à un retardprès, le passage de l’assemblage de ces sous-fonctions au niveau fonctionnel à l’assemblage au niveau RTLentraîne une différence de comportement de l’application complète : les sorties de l’application 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 d’abstraction. 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.