Dette lærebokverket, som først ble publisert i 1987, gir en omfattende analyse av programvaren som er nødvendig for å designe elektroniske kretser, inkludert integrerte kretser. Boken dekker emner som syntese- og analyserverktøy, grafikk og brukergrensesnitt, samt minnepresentasjon og flere relaterte temaer. I tillegg beskriver den et faktisk system kalt 'Electric', som illustrerer prinsippene og praksisene for moderne VLSI-design.