Accélération de la simulation logique : architecture et algorithmes de LL3T

Résumé : Cette thèse présente la conception d'un accélérateur matériel dédié à la simulation de circuits intégrés. Sur cet accélérateur sont développés un ensemble de logiciels constituant un environnement intégré de simulation. Nous y discutons tout d'abord des concepts de base de la modélisation des circuits intégrés, de la simulation logico-fonctionnelle, de la simulation de pannes, des langages de description du matériel, ainsi que des techniques d'accélération de la simulation de circuits intégrés. Nous présentons ensuite la structure générale de l'accélérateur. Il est basé sur une architecture parallèle : un réseau en anneau sur lequel sont disposées des unités de simulation, où chaque unité de simulation est composée de trois microprocesseurs exécutant trois tâches respectivement. l'ensemble des logiciels implémentés sur cet accélérateur est présenté. Le simulateur réalise ainsi la simulation multi-niveaux (porte logique, fonctionnel et interrupteur) et la simulation de pannes. Des outils de compilation permettent l'utilisation des langages de description du matériel pour modéliser les circuits intégrés de manière structurelle et fonctionnelle. Enfin, différentes stratégies de parallélisation de la simulation ainsi que plusieurs algorithmes de simulation adaptés aux différents niveaux d'abstraction sont étudiés
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00338790
Contributor : Thèses Imag <>
Submitted on : Friday, November 14, 2008 - 1:51:02 PM
Last modification on : Thursday, January 11, 2018 - 6:20:25 AM
Long-term archiving on : Monday, June 7, 2010 - 9:27:09 PM

Identifiers

  • HAL Id : tel-00338790, version 1

Collections

Citation

Yang Wu. Accélération de la simulation logique : architecture et algorithmes de LL3T. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1990. Français. ⟨tel-00338790⟩

Share

Metrics

Record views

233

Files downloads

101