探索台湾新著：集成电路自动化设计算法概览

"芯片自动化设计"是一本深入探讨大规模集成电路（集成电路）自动化设计领域的专业书籍，特别关注电子设计自动化（Electronic Design Automation, EDA）技术。该系列属于摩根 Kaufmann 系列，在 System-on-Silicon 方面提供了一系列系统级设计指南。系列编辑 Wayne Wolf 是来自佐治亚理工学院的专家，他对于整个系列的编纂和指导起到了关键作用。 书单列举了几本具体的作品，如《VHDL设计师指南》第二版，由 Peter J. Ashenden 所著，讲述了基于 VHDL 的系统设计方法，这是硬件描述语言在电路设计中的核心工具。《系统设计师的VHDL-AMS指南》则进一步扩展了高级数学模型在片上系统（System-on-Chip, SoC）设计中的应用。 《嵌入式系统与SoC建模》由 Axel Jantsch 撰写，聚焦于如何模型化复杂的嵌入式系统和系统级芯片设计，这对于确保系统性能和功能正确性至关重要。Richard Munden 的作品专注于ASIC和FPGA的验证，介绍组件模型化技术，这对于硬件设计的可靠性验证非常关键。 Ahmed Amine Jerraya 和 Wayne Wolf 主编的《多处理器SoC》集成了多处理器设计在单个芯片上的技术，展示了现代SoC的复杂性和集成度。此外，功能性验证部分包括 Bruce Wile、John Goss 和 Wolfgang Roesner 合作的著作，探讨如何进行高效的功能性测试。 定制和可配置嵌入式处理器的设计也被纳入讨论，Paolo Ienne 和 Rainer Leupers 编辑的书籍提供了这些处理器技术的实用指南。Giovanni De Micheli 和 Luca Benini 合著的《网络在芯片技术与工具》则关注芯片内网络的设计及其在SoC中的集成。 针对芯片测试原则与架构，Laung-Terng Wang、Cheng-Wen Wu 和 Xiaoqing Wen 合编的书籍提供深入了解，而 Steve Leibson 的《SoC设计与验证》可能着重于配置处理器在SoC设计中的角色和挑战。 最后，关于面向方面编程（Aspect-Oriented Programming, AOP）和可重构计算，David Robinson 的作品以及 Scott Hauck 和 Andrew Piziali 等编纂的《FPGA基础计算的理论与实践》探讨了软件灵活性和硬件资源利用的结合，这是可编程逻辑器件（Field-Programmable Gate Array, FPGA）领域的重要研究内容。 这本书集合了从硬件描述语言到系统级集成、验证、测试、定制处理器和可重构计算等多方面的专业知识，是电子工程师和系统设计师深入理解并掌握芯片自动化设计不可或缺的参考资料。