Boolesche Differenziation und Fehlerforpflanzungsanalyse in asynchronen Strukturen
Betreuer: G. Uygur
Vortragender: Z. Lingwen
Aufgabenstellung:
- Aus einer vorgegebenen Quelle ist der Formalismus der Booleschen Differentiation insbesondere für die formale Beschreibung von Hazards zu erläutern. Die Technik ist hinsichtlich der Fehlerfortpflanzung in asynchronen Strukturen zu diskutieren.
Termin: 17. Januar 2013 15:45 Uhr