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 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. |
Databáze: | OpenAIRE |
Externí odkaz: |