Rechnergestützter Entwurf digitaler systeme: Stand, Probleme, Aussichten.