Abstraction fonctionnelle des circuits integres cmos

par Marc Laurentin

Thèse de doctorat en Sciences appliquées

Sous la direction de Alain Greiner.

Soutenue en 1994

à Paris 6 .

    mots clés mots clés


  • Résumé

    Dans ce memoire est presentee une methode permettant l'abstraction d'equations logiques de circuits integres cmos. L'approche proposee se base sur l'abstraction prealable d'un reseau de portes orientees a partir de la description du circuit au niveau transistor. Ce type de description, dont ne disposent pas toujours les concepteurs (generateurs, full-custom etc. ), peut etre utilisee par des verificateurs temporels ou fonctionnels rapides. Certains outils de test s'appuient aussi sur ce type de description. La modelisation du circuit en sous-reseaux etant presentee, l'etude realisee ici porte sur les conditions de conduction des chemins electriques qui composent ces sous-reseaux. La prise en compte de leur environnement (contraintes sur les entrees) passe par la detection et l'exploitation des correlations logiques entre les signaux du circuit. La description comportementale des sous-reseaux, est derivee des chemins electriques. La methode proposee s'appuie essentiellement sur les informations logiques qu'il est possible de deriver de la structure du circuit. En particulier, elle ne s'appuie pas sur une bibliotheque de formes pre-definies et ne requiert pas d'information de la part du concepteur du circuit. Elle peut donc etre appliquee a des circuits, dont la structure interne n'est pas connue. Les algorithmes implementant cette methode sont decrits, ainsi que les resultats obtenus sur des circuits de provenance universitaire, et industrielle

  • Titre traduit

    Functional abstraction of cmos circuits


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 130 P.
  • Annexes : 69 REF.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Sorbonne Université. Bibliothèque de Sorbonne Université. Bibliothèque Mathématiques-Informatique Recherche.
  • Non disponible pour le PEB
  • Cote : T Paris 6 1994 620
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1994

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-1994-LAU
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.