Contents Preface In the Classroom Acknowledgments Contributors About the Editors xxi xxv xxvii xxix xxxiii CHAPTER 1 Introduction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Charles E. Stroud, Lang-Terng (L.-T.) Wang, and Yao-Wen Chang 1.1 Overview of electronic design automation . . . . . . . . . 1.1.1 Historical perspective . . . . . . . . . . . . . . . . . . . 1.1.2 VLSI design flow and typical EDA flow. . . . . . . 1.1.3 Typical EDA implementation examples . . . . . . . 1.1.4 Problems and challenges . . . . . . . . . . . . . . . . . 1.2 Logic design automation. . . . . . . . . . . . . . . . . . . . . . 1.2.1 Modeling . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2.2 Design verification . . . . . . . . . . . . . . . . . . . . . 1.2.3 Logic synthesis . . . . . . . . . . . . . . . . . . . . . . . . 1.3 Test automation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 . 2 . 4 . 9 12 13 13 14 17 18