Systematischer Entwurf digitaler Systeme
Rammig, Franz J. Optimierungsverfahren (Kapitel 4) werden hauptsächlich auf der Regi stertransferebene, aber auch auf der algorithmischen und Gatterebene diskutiert. Auch hier wird ein Beispiel exemplarisch durchgeführt. Das Kapitel 5 ist der Verifikation/Evaluation/Validierung gewidmet.