Simulation and Verification of Digital Circuits

Author: Pan Zhongliang (Compiler)
Publisher:
Publish Date: 2006-10-01
Features: In the design process of digital circuits, simulation and verification is a crucial step, as it checks whether the designed circuit meets the requirements. This book systematically introduces the principles and main methods of digital circuit simulation and verification. The book consists of 11 chapters, covering the following content:
Methods and basic flow of VLSI design;
Methods for establishing logic function models, structural models, hierarchical models, etc. of circuits;
Logic simulation, high-level simulation, and switch-level simulation of digital circuits;
Model checking;
Verification of combinational circuits;
Verification of sequential circuits;
Verification of System-on-Chip (SoC);
The structure, properties, and applications of Binary Decision Diagrams (BDD) in effectively representing and operating on logic Boolean functions or logic circuits, as well as their use in circuit synthesis and verification.
This book can serve as a textbook for senior undergraduate and graduate students in electronic, computer, and communication-related fields, and is also suitable as a reference for technicians engaged in digital system design, testing, and maintenance.