集成电路EDA与验证技术
作者：陈铖颖等编著
出版时间：2019年版
内容简介
本书介绍了集成电路设计的相关知识和主要EDA工具的使用方法，即从晶体管的模型开始扩展至集成电路设计中的相关知识，同时对集成电路的主要EDA厂商及其主流工具进行了介绍。其中，在模拟集成电路EDA工具部分，结合原理图编辑、模拟电路各种功能仿真、版图设计以及验证等各个流程，介绍了电路设计及仿真工具Cadence Spectre、版图设计工具Cadence Virtuoso、版图验证及参数提取工具Mentor Calibre等；在数字集成电路EDA工具方面，先介绍了硬件描述语言Verilog-HDL，然后介绍了RTL仿真工具Modelsim和逻辑综合工具Design Compiler的使用，对逻辑综合中的主要流程、基本约束等进行了设计示范，最后介绍了数字后端版图工具IC Compiler和Encounter。书中主要设计步骤都配有相应的实例进行说明。 本书可作为微电子与固体电子学专业实验实践教材，也可作为相关专业技术人员的自学参考书。
