Changes between Version 27 and Version 28 of CaoCourseTme7
- Timestamp:
- Apr 23, 2007, 1:48:41 PM (18 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
CaoCourseTme7
v27 v28 7 7 = Objectif = 8 8 9 On souhaite réaliser dans ce tmeun petit simulateur logico-temporel, permettant de simuler9 On souhaite réaliser dans ce TME un petit simulateur logico-temporel, permettant de simuler 10 10 un réseau Booléen temporisé, où les expressions Booléennes sont représentées par des arbres ABL (voir TME5). 11 11 … … 15 15 plus de valeurs pour gérer les cas spéciaux comme les signaux en haute impédance, les conflits électriques, ou les 16 16 valeurs 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 valeurs0, 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.17 Pour simplifier, nous nous limiterons dans ce TME aux trois valeurs logiques 0, 1, et U (indéfini). 18 19 Dans le cas général, Chaque composant est modélisé par un processus, et tous les processus s'exécutent en parallèle. 20 20 Chaque processus utilise les valeurs de ses signaux d'entrées pour calculer les valeurs de ses signaux de sortie. 21 21 Les signaux sont donc orientés, et un signal possède un seul émetteur, mais peut avoir plusieurs destinataires. 22 22 On définit, pour chaque processus, un sous-ensemble des signaux d'entrée, appelé liste de sensibilité du processus : 23 23 un 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 comporte26 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éenne24 sur un signal de sortie du processus. Un processus doit donc être évalué à chaque fois que l'un des signaux de la liste 25 de sensibilité change de valeur. Par exemple, la liste de sensibilité d'un processus représentant un automate de Moore 26 ne comporte 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: un processus correspond à une expression Booléenne 29 29 multi-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. Unréseau Booléen peut être représenté par un graphe biparti30 et la liste de sensibilité contient tous les signaux d'entrée. Le réseau Booléen peut être représenté par un graphe biparti 31 31 comportant deux types de noeuds : des processus et des signaux. Les noeuds à la périphérie du réseau sont toujours des signaux. 32 32