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