Stav dette: Zur Automatisierung des Systementwurfs integrierter Schaltungen /