Osys, outil de synthese et de specifications

par JUDITH BENZAKKI ELKOUBY

Thèse de doctorat en Sciences appliquées

Sous la direction de Michel Israël.

Soutenue en 1993

à Paris, CNAM .

    mots clés mots clés


  • Résumé

    Cette these presente le projet osys: outil de synthese et de specifications developpe grace a un generateur d'environnements de programmation appele centaur, concu par l'inria a sophia-antipolis, france. Osys accepte une description algorithmique d'un circuit en vhdl, et genere des structures sur une librairie de composants generiques. Les fichiers generes par l'outil sont en vhdl et permettent a l'utilisateur de simuler sa description a chaque etape. Osys montre comment il est possible d'implanter rapidement de nouveaux algorithmes d'ordonnancement et d'allocation des ressources, et ainsi de prototyper le circuit en un temps raisonnable

  • Titre traduit

    Osys, synthesis and specifications tool


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 173 p.
  • Annexes : 70 REF

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Conservatoire national des arts et métiers (Paris). Bibliothèque Centrale.
  • Non disponible pour le PEB
  • Cote : Th A 163
  • Bibliothèque : Conservatoire national des arts et métiers (Paris). Bibliothèque Centrale.
  • Consultable sur place dans l'établissement demandeur
  • Cote : Th A 163 double

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1993-BEN
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.