Studierender: Konstantins Franckevics
Betreuer: Matthias Kampmann

Das Ziel dieser Bachelorarbeit ist die Analyse von Pseudozufallsmustern für den Hochgeschwindigkeitstest (FAST). Es sollen verschiedene Varianten aus der Literatur verglichen und hinsichtlich der Nutzbarkeit für FAST untersucht werden.

Studierender: Viktor Tran
Betreuer: Matthias Kampmann

Das Ziel dieser Arbeit ist, verschiedene SAT-basierte Verfahren zur automatisierten Testmustererzeugung (ATPG) miteinander zu kombinieren, um ein pareto-optimales Werkzeug zu erschaffen. Dabei sind kleine Verzögerungsfehler der Fokus dieser Arbeit. Mögliche ATPG-Optimierungsziele sind

• Minimierung von unbekannten Logikwerten (X-Werten) bei der Simulation
• Minimierung von relevanten (care) Bits im Testmuster
• Maximierung der sensibilisierten Pfadlänge für einen Verzögerungsfehler
• ...

Mit Hilfe von Gewichtungen sollen diese Optimierungsziele gegeneinander abgewägt und so die pareto-optimalen Lösungen gefunden werden.