Herausfinden von stabilen Belegungen einer gegebenen Designspezifikation
Tutor: G. Uygur
Vortragender: F. Babba
Aufabenstellung:
- Gegeben ist eine Designspezifikation D als eine Menge von (u.a. rückwirkenden) Regeln. Eine Regel kann sein: (logische bzw. Zustandsüberführungs-) Funktion, Klausel, ...
- Für die Arbeit reicht eine Spezialisierung aus der obigen Auswahl. Designspezifikation D ist als ein Aussagenlogischer Ausdruck (AA) zu behandeln.
- D ist in einer Struktur darzustellen (Netz aus Regeln, Wissensbasis, rückgekoppelter Graph). Für die Darstellung ist eine Normalform (NAND, NOR, DNF, KNF) ggf. mit einem Synchronisationselement (RS-FF, D-FF, JK-FF) auszuwählen.
- Wünschenswert ist die Auswahl und Gegenüberstellung alternativer Darstellungsformen unter Einbeziehung von Hazard.
Termin: 21. Juni 2012 14:00 Uhr