Design systems for VLSI circuits: Logic synthesis and silicon compilation Proceeding of the Nato Advanced Study Institute held at L'Aquila, Italy, July 7–18, 1986 Edited by G. De Micheli Stanford University, CA, USA A. Sangiovanni-Vincentelli University of California, Berkeley, CA, USA P. Antognetti University of Genova, Italy Nato Advanced Science Institutes Series: E: Applied Science 136 July 1987, 654pp. Hardbound Dfl. 250.00/£84.75 ISBN 90-247-3561-0 Paperback Dfl. 100.00/£33.95 ISBN 90-247-3562-9 Martinus Nijhoff Publishers