Logic Synthesis and Verification Rutilius Taurus Aemilianus WARTOFSKY July 1979 vii TABLE

WARTOFSKY July 1979 vii TABLE OF CONTENTS EDITORIAL PREFACE vii PREFACE xi ACKNOWLEDGEMENTS xv I

6Der Branchenmix30

wenn nicht alle seine Vorausset-zungen gegeben sind

which to me is positively pubescent

Diesel' Aufgabe moge das Bueh aueh weiter dienen

Logic Synthesis and Verification Rutilius Taurus Aemilianus WARTOFSKY July 1979 vii TABLEResearch and development of logic synthesis and verification have matured considerably over the past two decades. Many commercial products are available, and they have been critical in harnessing advances in fabrication technology to produce today's plethora of electronic components. While this maturity is assuring, the advances in fabrication continue to seemingly present unwieldy challenges. Logic Synthesis and Verification provides a state of the