Modélisation en vue du test des flux de contrôle et des flux de données des descriptions comportementales de circuits digitaux

par Mustapha-Kamel Djafari

Thèse de doctorat en Composants, signaux et systèmes

Sous la direction de Norbert Giambiasi.

Soutenue en 1991

à Montpellier 2 .


  • Résumé

    Dans le domaine des circuits digitaux complexes, les concepteurs utilisent souvent les langages de description des systemes materiels (hdls) pour decrire la structure ou le comportement des circuits. Ces descriptions ne sont pas facilement manipulables par les outils de cao, dans la mesure ou ils n'explicitent pas directement les concepts de haut niveau inherents a tout hdl. Dans ce memoire, nous proposons un modele interne developpe a partir de la description comportementale hdl, qui se caracterise par la separation entre le flux de donnees et le flux de controle et par l'interaction explicite entre ces deux flux. Ces derniers sont representes respectivement par un modele de donnees et un modele de controle. Le modele de donnees est represente par un graphe et le modele de controle par un reseau de petri hierarchise, temporise et interprete. La modelisation des elements de base du modele interne utilise les concepts de demot: un environnement de modelisation hierarchise/multi-vues. La realisation informatique utilise une approche orientee objet

  • Titre traduit

    Modelling for testing control and data flows of behavioural descriptions of digital circuits


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : [3], 139, [25] f
  • Annexes : Bibliogr.: f. 134-139

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Bibliothèque interuniversitaire. Section Sciences.
  • Disponible pour le PEB
  • Cote : TS 91.MON-238

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèques et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1991-DJA
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.