TVL Anwendung mit XBOOLE
Betreuer: Dipl.-Math. Mustafa Özgül
Vortragender: Ahmad Al shikh Saleh
Problemstellung (TVL-Operationen): Die ständig zunehmenden Anforderungen an die Packungsdichte auf dem Chip (Speicherplatz) und die schnelle Verarbeitung von Daten (Rechenzeit) motivieren den Einsatz von Ternärvektorlisten (TVL). Die TVL ist die zentrale Datenstruktur zur Lösung von binär kodierten Booleschen Problemen in XBOOLE. Die Stärken der TVL liegen sowohl in der kompakten Speicherung von Aussagen, die durch Verknüpfungen zur Erstellung der Schaltnetze in der Fortsetzung dienen, als auch in der Implementierung von sehr effizienten Algorithmen auf Bitebene, auf der die logischen Funktionen durch Kodierung als Mengenoperationen ausgeführt werden.
Problemlösung: Die Grundlagen der Ternärvektorlisten soll eingearbeitet werden. Weiterhin soll das XBOOLE-Programmsystem zur Lösung von binär kodierten Problemen verwendet werden. In diesem Zusammenhang sollen die bereits entwickelten Algorithmen für stabilen asynchronen Automatenentwurf und Race-Detection einbezogen werden.
Durchführung: In dieser Arbeit soll auf Grundlage der TVL Operationen und auf Basis der zweiten Generation des XBOOLE-Programmsystems XB PORT eigene Makro-Anwendungen zur kompakten Speicherung von Aussagen und Schaltnetz-Verhalten entwickelt und implementiert werden.
- Grundlagen TVL
- Einarbeitung in XBOOLE
- Fallbeispiel: Race Detektion mit Hilfe Booleschen Ableitung
- Weitere Anwendungsbeispiele
Termin: 31.01.2019 12:15 Uhr