Changes between Version 27 and Version 28 of CaoCourseTme7


Ignore:
Timestamp:
Apr 23, 2007, 1:48:41 PM (18 years ago)
Author:
alain
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • CaoCourseTme7

    v27 v28  
    77= Objectif =
    88
    9 On souhaite réaliser dans ce tme un petit simulateur logico-temporel, permettant de simuler
     9On souhaite réaliser dans ce TME un petit simulateur logico-temporel, permettant de simuler
    1010un réseau Booléen temporisé, où les expressions Booléennes sont représentées par des arbres ABL (voir TME5).
    1111
     
    1515plus de valeurs pour gérer les cas spéciaux comme les signaux en haute impédance, les conflits électriques, ou les
    1616valeurs indéfinies.  A titre indicatif, le VHDL standard utilise 9 valeurs pour les signaux. 
    17 Pour simplifier nous nous limiterons dans ce TME aux trois valeurs 0, 1, et U (indéfini).
    18 
    19 Dans le cas général, Chaque composant est modélisé par un processus séquentiel, et tous les processus s'exécutent en parallèle.
     17Pour simplifier, nous nous limiterons dans ce TME aux trois valeurs  logiques 0, 1, et U (indéfini).
     18
     19Dans le cas général, Chaque composant est modélisé par un processus, et tous les processus s'exécutent en parallèle.
    2020Chaque processus utilise les valeurs de ses signaux d'entrées pour calculer les valeurs de ses signaux de sortie.
    2121Les signaux sont donc orientés, et un signal possède un seul émetteur, mais peut avoir plusieurs destinataires.
    2222On définit, pour chaque processus, un sous-ensemble des signaux d'entrée, appelé liste de sensibilité du processus :
    2323un changement de valeur sur un signal appartenant à la liste de sensibilité peut entraîner un changement de valeur
    24 sur un signal de sortie du processus. Un processus doit donc être évalué à chaque fois que l'un des signaux de la liste de sensibilité
    25 change de valeur. Par exemple, la liste de sensibilité d'un processus représentant un automate de Moore ne comporte
    26 qu'un seul signal, qui est le signal d'horloge.
    27 
    28 On s'intéresse dans ce TME au cas particulier des réseaux Booléens, où un processus correspond à une expression Booléenne
     24sur un signal de sortie du processus. Un processus doit donc être évalué à chaque fois que l'un des signaux de la liste
     25de sensibilité change de valeur. Par exemple, la liste de sensibilité d'un processus représentant un automate de Moore
     26ne comporte qu'un seul signal, qui est le signal d'horloge.
     27
     28On s'intéresse dans ce TME au cas particulier des réseaux Booléens: un processus correspond à une expression Booléenne
    2929multi-niveaux, représentée par un arbre ABL. Dans ce cas particulier, un processus possède donc un seul signal de sortie,
    30 et la liste de sensibilité contient tous les signaux d'entrée. Un réseau Booléen peut être représenté par un graphe biparti
     30et la liste de sensibilité contient tous les signaux d'entrée. Le réseau Booléen peut être représenté par un graphe biparti
    3131comportant deux types de noeuds : des processus et des signaux. Les noeuds à la périphérie du réseau sont toujours des signaux.
    3232