Originally presented as the author's thesis (doctoral--Universit'at/Gesamthochschule Paderborn) under the title: Regelbasierte Systeme zur Sicherung der Entwurfsqualit'at hochintegrierter Schaltungen und Systeme.