Entwurf und Diagnose komplexer digitaler Systeme