Simulation symbolique de descriptions comportementales de circuits digitaux

par Rémy Rogacki

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

Sous la direction de Janine Magnier.

Soutenue en 1992

à Montpellier 2 .


  • Résumé

    La simulation symbolique est une méthode de vérification dérivée de la simulation conventionnelle dans laquelle les valeurs numériques des entrées du modèle sont remplacées par des symboles. La simplification de ces valeurs symboliques constitue un point important d'une part, pour une mise en œuvre efficace de cette technique de simulation et, d'autre part, pour fournir des informations significatives au concepteur. Un simulateur symbolique de descriptions comportementales de circuits digitaux est présenté. Le mécanisme de simulation, adapté a la représentation interne de la description VHDL, est détaillé. Âpres une étude théorique du processus de simplification des expressions arithmétiques base sur un système de réécriture, les méthodes de représentation et de manipulation sont explicitées: diagrammes de décision binaire pour les expressions à valeur booléenne, formes normalisées pour les expressions arithmétiques

  • Titre traduit

    Symbolic simulation of behavioral descriptions of digital circuits


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (166 -[60] p.)
  • Annexes : Bibliogr.p. [143]-156. - Liste des fig. p. 165-166

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Savoie Mont Blanc. Bibliothèque du Laboratoire d'informatique, Systèmes, Traitement de l'information et de la connaissance (LISTIC).
  • Disponible pour le PEB
  • Cote : T P1992/3
  • Bibliothèque : Bibliothèque interuniversitaire. Section Sciences.
  • Disponible pour le PEB
  • Cote : TS 92.MON-222

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-1992-ROG
  • 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.