Konzeption einer Datenbasis zur Spezifikation und Generierung von Prüfprogrammen für gemischt analog-digitale integrierte SchaltungenPrévenez-moi