Title: Zur wissensbasierten Unterstützung des Entwurfs integrierter Schaltungen