Automated Design of Digital Systems (Second Edition) (Computer Science and

Author: Bian Jiyuan et al.
Publisher:
Publish Date: 2005-07-01
Features: Characteristics of this book:
· This book is written as a textbook for graduate students and senior students in computer science, electronic engineering, and related fields in higher education institutions, focusing on introducing the fundamental theories and new developments in various fields 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 new development trends and some theoretically significant content are introduced. 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 students in computer science, electronic engineering, and related fields in higher education institutions, focusing on introducing the fundamental theories and new developments in various fields of electronic design automation (Electronic Design Automation, EDA). Based on the first edition, most of the content in the second edition has been updated to reflect the new developments. This book aims to be both accessible and rigorous, incorporating the results of the authors' many years of teaching and research. It provides a theoretical foundation 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Ⅱ.