本书系统阐述集成电路电子设计自动化（EDA）的基础理论、核心技术与前沿进展，以集成电路完整设计流程为核心主线，内容编排由浅入深、层层递进，全面覆盖芯片从前端设计到后端物理实现的全链条技术体系。全书兼顾基础原理与工程实践、经典算法与前沿研究，首先梳理集成电路设计整体架构与EDA技术的发展脉络，详细讲解硬件描述语言的语法规则与建模方法。同时系统阐释行为级、RTL级、门级的分层仿真验证策略，解析高层次综合、逻辑综合的核心算法，并依托形式验证的数学方法保障芯片设计的准确性与可靠性。此外，本书深入剖析电路划分、布图规划、布局布线、时钟树综合、电源地网络设计等后端物理设计核心环节，详解各类经典实现算法，同步梳理各技术领域的前沿研究热点。本书可作为高校集成电路、计算机等专业本研究生教材，也可供EDA工具研发人员、芯片设计工程师作为基础参考用书。