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

The Institute brought together scientists

Aber zum Glück auch an Skurrilitäten: Hier gibt es irre Kräuter

Diesel' Aufgabe moge das Bueh aueh weiter dienen

Deshalb wird eine zweite Frage lauten: wie können Emotionen die Ziele oder Zwecke unserer zweckrationalen Handlungen (mit)bestimmen

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