From the reviews: "In such a changing environment this Handbook on Electronic Design Automation represents a welcome help for the practitioners of the system design as well as for students taking courses in the same area. The Handbook surveys the main tasks of system design methodology, explains different methods and tools for design specification, synthesis, simulation, and verification, introduces hardware description languages and modeling practices, and introduces techniques for the design of circuits, modules and systems on different levels of abstraction. The main advantage of this Handbook is that readers quickly obtain a good overview of the design methodologies and of the design automation field as a whole, instead of only one aspect of it. For this reason, I sincerely welcome this book and recommend it highly to all practitioners in the field of designing and building electronic systems." (From the Foreword: Daniel D. Gajski) "Since the environment is changing in the Electronic Design Automation (EDA) industry with amazing speed, this handbook on EDA represents an appreciated help for the practitioners in system design ... . covers (at least) the minimum knowledge one must know today to design modern electronics with computer programs effectively. ... The main advantage of this handbook is that readers may quickly obtain a good overview of the design automation field ... . This is why this book is highly recommended ... ." (Neculai Curteanu, Zentralblatt MATH, Vol. 1044 (19), 2004) "The Electronic Design Automation Handbook by Dirk Jansen ... endeavors to create a compendium that integrates basic knowledge from a variety of areas in EDA, providing a 'one-stop shop' that overviews the field. ... the book has many aspects that provide good value to the reader. ... it must be said that this book covers a great deal of ground, and makes a sincere effort in doing so. It's a very good source for design and EDA practitioners, and students ... ." (Sachin Sapatnekar, IEEE Design & Test of Computers, 2005)

• Overview EDA.- The Concept of Electronic Design Automation.- Symbolic Design.- Symbolic Design Entry.- High Level Language Design.- Design using Standard Description Languages.- Graphical Specification of System Behavior.- Synthesis.- Hardware/Software Co-Design.- Tabular Design Formats.- Modelling and Verifications.- Circuit Verification.- Analog Simulation.- Digital Simulation.- Mixed Signal Simulation.- System Simulation.- Formal Verification.- Design for Testability.- Implementation.- Application Specific Integrated Circuits (ASICs).- Library Design.- Programmable Logic Devices.- Semiconductor Process Technologies.- Integrated Circuit Techniques.- Geometric Layout.- Geometric Verification.- Assembly- and Packaging Methods.- Printed Circuit Board Technologies.- Printed Circuit Board Design.- Tutorial.- EDA Tutorial.

From the reviews: "In such a changing environment this Handbook on Electronic Design Automation represents a welcome help for the practitioners of the system design as well as for students taking courses in the same area. The Handbook surveys the main tasks of system design methodology, explains different methods and tools for design specification, synthesis, simulation, and verification, introduces hardware description languages and modeling practices, and introduces techniques for the design of circuits, modules and systems on different levels of abstraction. The main advantage of this Handbook is that readers quickly obtain a good overview of the design methodologies and of the design automation field as a whole, instead of only one aspect of it. For this reason, I sincerely welcome this book and recommend it highly to all practitioners in the field of designing and building electronic systems." (From the Foreword: Daniel D. Gajski) "Since the environment is changing in the Electronic Design Automation (EDA) industry with amazing speed, this handbook on EDA represents an appreciated help for the practitioners in system design ... . covers (at least) the minimum knowledge one must know today to design modern electronics with computer programs effectively. ... The main advantage of this handbook is that readers may quickly obtain a good overview of the design automation field ... . This is why this book is highly recommended ... ." (Neculai Curteanu, Zentralblatt MATH, Vol. 1044 (19), 2004) "The Electronic Design Automation Handbook by Dirk Jansen ... endeavors to create a compendium that integrates basic knowledge from a variety of areas in EDA, providing a 'one-stop shop' that overviews the field. ... the book has many aspects that provide good value to the reader. ... it must be said that this book covers a great deal of ground, and makes a sincere effort in doing so. It's a very good source for design and EDA practitioners, and students ... ." (Sachin Sapatnekar, IEEE Design & Test of Computers, 2005)

• Overview EDA.- The Concept of Electronic Design Automation.- Symbolic Design.- Symbolic Design Entry.- High Level Language Design.- Design using Standard Description Languages.- Graphical Specification of System Behavior.- Synthesis.- Hardware/Software Co-Design.- Tabular Design Formats.- Modelling and Verifications.- Circuit Verification.- Analog Simulation.- Digital Simulation.- Mixed Signal Simulation.- System Simulation.- Formal Verification.- Design for Testability.- Implementation.- Application Specific Integrated Circuits (ASICs).- Library Design.- Programmable Logic Devices.- Semiconductor Process Technologies.- Integrated Circuit Techniques.- Geometric Layout.- Geometric Verification.- Assembly- and Packaging Methods.- Printed Circuit Board Technologies.- Printed Circuit Board Design.- Tutorial.- EDA Tutorial.

From the reviews: "In such a changing environment this Handbook on Electronic Design Automation represents a welcome help for the practitioners of the system design as well as for students taking courses in the same area. The Handbook surveys the main tasks of system design methodology, explains different methods and tools for design specification, synthesis, simulation, and verification, introduces hardware description languages and modeling practices, and introduces techniques for the design of circuits, modules and systems on different levels of abstraction. The main advantage of this Handbook is that readers quickly obtain a good overview of the design methodologies and of the design automation field as a whole, instead of only one aspect of it. For this reason, I sincerely welcome this book and recommend it highly to all practitioners in the field of designing and building electronic systems." (From the Foreword: Daniel D. Gajski) "Since the environment is changing in the Electronic Design Automation (EDA) industry with amazing speed, this handbook on EDA represents an appreciated help for the practitioners in system design ... . covers (at least) the minimum knowledge one must know today to design modern electronics with computer programs effectively. ... The main advantage of this handbook is that readers may quickly obtain a good overview of the design automation field ... . This is why this book is highly recommended ... ." (Neculai Curteanu, Zentralblatt MATH, Vol. 1044 (19), 2004) "The Electronic Design Automation Handbook by Dirk Jansen ... endeavors to create a compendium that integrates basic knowledge from a variety of areas in EDA, providing a 'one-stop shop' that overviews the field. ... the book has many aspects that provide good value to the reader. ... it must be said that this book covers a great deal of ground, and makes a sincere effort in doing so. It's a very good source for design and EDA practitioners, and students ... ." (Sachin Sapatnekar, IEEE Design & Test of Computers, 2005)

• Overview EDA.- The Concept of Electronic Design Automation.- Symbolic Design.- Symbolic Design Entry.- High Level Language Design.- Design using Standard Description Languages.- Graphical Specification of System Behavior.- Synthesis.- Hardware/Software Co-Design.- Tabular Design Formats.- Modelling and Verifications.- Circuit Verification.- Analog Simulation.- Digital Simulation.- Mixed Signal Simulation.- System Simulation.- Formal Verification.- Design for Testability.- Implementation.- Application Specific Integrated Circuits (ASICs).- Library Design.- Programmable Logic Devices.- Semiconductor Process Technologies.- Integrated Circuit Techniques.- Geometric Layout.- Geometric Verification.- Assembly- and Packaging Methods.- Printed Circuit Board Technologies.- Printed Circuit Board Design.- Tutorial.- EDA Tutorial.