Digital System Design Automation (Second Edition)

Author: Bian Jiyuan
Publisher:
Publish Date: 2005-07-01
Features: Characteristics of the Book:
· This book is written as a textbook for graduate students and senior undergraduate students in computer science, electronic engineering, and related fields, focusing on introducing the fundamental theories and new developments in various areas of digital system design automation.
· The purpose of this book is to balance the fundamental theoretical foundations and new development technologies, striving to achieve a harmonious integration of both. Most of the content on basic theories from the first edition is retained, while representative introductions of new development trends and some theoretically significant content are provided. This book is the second edition of "Digital System Design Automation," published in 1996, and is written as a textbook for graduate students and senior undergraduate students in computer science, electronic engineering, and related fields, focusing on introducing the fundamental theories and new developments in various areas of electronic design automation (Electronic Design Automation, EDA). The second edition updates most of the content based on the first edition, aiming to reflect the new developments. This book strives to be both accessible and rigorous, incorporating the results of the author's many years of teaching and research. It provides both theoretical foundations for EDA tool developers and essential professional knowledge for EDA tool users. The book is divided into 9 chapters: Chapter 1 introduces an overview of the various fields of EDA; Chapter 2 introduces hardware description languages, focusing on VHDL and briefly covering Verilog; Chapter 3 introduces logic simulation and VHDL simulation techniques, as well as newly emerging hardware verification languages; Chapter 4 introduces logic synthesis techniques for combinational and sequential circuits; Chapter 5 introduces high-level synthesis techniques; Chapter 6 introduces formal verification methods such as equivalence verification and model checking; Chapter 7 briefly introduces the basic techniques of fault diagnosis and test code generation; Chapter 8 introduces the new developments in the field of EDA; and Chapter 9 introduces the usage of EDA tools MAX+plusⅡ.