Asynchron rückgekoppelte digitale Schaltungsstrukturen (Formalismus & Simulation)
Betreuer: Dipl.-Inf. Gürkan Uygur
Vortragender: Hr. Walter, Ferdinand
Aufgabenstellung:
- Motivation: Asynchrone rückgekoppelte digitale Schaltungsstrukturen sind im Allgemeinen funktional unvollständig spezifiziert. Der Grund liegt darin, dass Races in der Rückkopplung zur Meta-Stabilität führen.
- Aufgabenstellung: Im Rahmen einer Fallstudie ist eine asynchrone rückgekoppelte digitale Schaltungsstruktur hinsichtlich ihrer funktionalen Meta-Stabilität zu untersuchen. Die formale Untersuchung ist mittels Simulation zu bestätigen.
Termin: 04.07.2013 09:00 Uhr