এই পাঠটি: Zur wissensbasierten Unterstützung des Entwurfs integrierter Schaltungen /