数字系统设计自动化 第2版

本书共9章，第1章介绍电子设计自动化的各个领域；第2章介绍硬件描述语言；第3章介绍逻辑模拟和VHDL模拟技术；第4章介绍组合电路和时序电路的逻辑综合技术；第5章介绍高层次综合技术；第6章介绍等价性验证和模型检验的形式验证方法；第7章简要介绍故障诊断和测试码生成的基本技术；第8章介绍EDA领域的最新发展；第9章介绍EDA工具MAX+PlusII的使用方法。