Systematischer Entwurf digitaler Systeme : von der System- bis zur Gatter-Ebene