Seol mar théacs é seo: Zur wissensbasierten Unterstützung des Entwurfs integrierter Schaltungen /