Folien als PDF
Folien als PDF
Folien als PDF
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
... FSM: Bewertung<br />
Methodischer Entwurf eingebetteter Systeme<br />
Modelle und Begriffe<br />
• Methoden zur Verifikation von Eigenschaften verfügbar<br />
(`model checking`)<br />
• Vielzahl von Entwurfswerkzeugen vorhanden<br />
• Algorithmen zur Hardwaresynthese verfügbar<br />
Besonderheiten:<br />
• Moore Automat - Ausgaberelation hängt nur vom aktuellen<br />
Zustand ab: g ˝ (X x O).<br />
• Bei deterministischen FSM sind f und g Funktionen.<br />
Jedoch:<br />
• Keine Repräsentation von Nebenläufigkeit und Hierarchie<br />
S. A. Huss / Folie 3-19