Solid Logic Design Automation. Computegesteuerter Entwurf von integrierten Halbleiterschaltungen.