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

Autor: Tambour, L., Urard, P., Ghenassia, F., Zergainoh, Nacer-Eddine, Valentin, T., Jerraya, Ahmed
Přispěvatelé: Techniques of Informatics and Microelectronics for integrated systems Architecture (TIMA), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA), STMicroelectronics [Crolles] (ST-CROLLES), Techniques de l'Informatique et de la Microélectronique pour l'Architecture des systèmes intégrés (TIMA), Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS), Torella, Lucie
Jazyk: francouzština
Rok vydání: 2002
Předmět:
Zdroj: 3ème Colloque CAO de circuits et systèmes intégrés
3ème Colloque CAO de circuits et systèmes intégrés, May 2002, Paris, France
Popis: 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.
Databáze: OpenAIRE