Title: Methoden zur determinischen testgenerierung für synchrone Schaltwerke