Stav dette: Zur wissensbasierten Unterstützung des Entwurfs integrierter Schaltungen /