Theorie und Verfahren der hierarchischen Designregelprüfung integrierter Schaltungen - Federschmidt, Clemens (Technische Hochschule, 1989)