镶研电阻 EDA 与
验证技术
陈锻颖张锋戴澜张晓波等编著
.
离等学校党电子类“十三五”规划教材
集成电路 EDA 与验证技术
陈钺颖张锋戴澜张晓波等编著
西安电子科技大学出版社
内容简介
本书介绍了集成电路设计的相关知识和主要 EDA 工具的½用方法，即从晶½管的模型开始扩展
至集成电路设计中的相关知识，同时对集成电路的主要 EDA 厂商及其主流工具进行了介绍。其中，
在模拟集成电路 EDA 工具部分，结合原理图编辑、模拟电路各种功½仿真、版图设计以及验证等各
个流程，介绍了电路设计及仿真工具 Cadence
Spectre 、版阳设计工具 Cadence Virtuoso 、版图验证及
参数提取工具 Mentor
Calibre 等；在数字集成电路 EDA 工具方面，先介绍了硬件描述语
言
Verilog-HDL. 然后介绍了 RTL 仿真工具 Modelsim 和逻辑综合工具 Design Compiler 的½用，对逻辑
综合中的主要流程、基本约束等进行了设计示范，最后介绍了数字后端版图工具 IC
Compiler 和
Encounter 。书中主要设计步骤½配有相应的实例进行说明。
本书可½为微电子与固½电子学专业实验实践教材，也可½为相关专业技术人员的自学参考书。
图书在版编目 (CIP) 数据
集成电路 EDA 与验证技术
／陈
钺颖等编著．—西安：西安电子科技大学出版社， 2019.2
ISBN 978- 7- 5606-5169-9
I.
CI) 集…
II
＠陈…
III ＠数字集成电路一电路设计一计算机辅助设计一高等学校—教材
N.
(D
TN43 l.202
中½版本图书馆 CIP 数据核字 (2018) 第 274920 号
策划编辑刘小莉
责任编辑滕卫红阎½
出版发行
电话
½址
经
西安电子科技大学出版社（西安市太½南路 2 号）
(029)88242885
www.xduph.com
88201467
邮编
电子邮箱
710071
xdupfxb00l@163.com
销新华书店
陕西日报社
2019 年 2 月第 1 版
787 毫米 X
1092
毫米
2019 年 2 月第 1 次印刷
1/16
印张 20.5
印刷单½
版
开
次
本
字
数
487 千字
1~2000 册
47.00 元
印数
定价
ISBN
978 - 7
-
5606
- 5169
- 9
I TN
XDUP 5471001- 1
＊＊＊如有印装问题可调换＊＊＊
前言
集成电路发展到今天，晶½管的特征尺寸已经达到 10nm 以下，单一芯片的晶½管数
目达到几百亿的数量级，电路设计中的每一步工½完全依靠人工已经变得不切实际。集成
电路 EDA（电子设计自动化）技术很½地为设计者减½了压力，让大规模集成电路设计成为
了可½。采用集成电路 EDA 技术不½可以提高集成电路设计的½力，而且在集成电路设计
可靠性上也具有一定的保证．
本书介绍了集成电路设计的 EDA 工具及其验证技术，具有较强的实用性。全书内容共
分 8 章。
笫 1 章主要介绍 MOSFET 晶½管模型，包括基于电荷的 MOSFET 模型、基于电流的
MOSFET 模型、动态晶½管模型和非准静态晶½管模型。最后讨论了几种用于计算机仿真
设计的 MOSFET 模型。
笫 2 章概述了集成电路 EDA 技术，主要介绍了集成电路设计全定制和半定制流程、集
成电路的主要 EDA 厂商及相应工具。
笫 3 章介绍了模拟集成电路设计的 Spectre 工具，包括瞬态分析、直流分析和稳定性分
析等各种电路分析方法，对配½文件、运行窗口、库文件管理等方面也进行了介绍，最后
对原理图编辑方法进行了介绍，并且以一个设计实例对相应功½进行示范。
笫 4 章主要介绍模拟集成电路版图设计方法与验证方法，在介绍完版图的基本设计规
则后，讨论 Cadence Virtuoso 的½用方法，并详细讨论了模拟版图验证和提取工具 Mentor
Calibre 的主要界面和操½，最后用实例进行说明．
笫 5 章首先对数字集成电路设计进行概述，包括一些基本语法和规范，并举例说明组
合逻辑电路和时序逻辑电路；之后对仿真工具 Modelsim 进行了总½说明，从 Modelsim 的
特点应用到基本½用方法，再延伸到一些高级用法，不仅囊括了建立工程、建立仿真环境、
启动仿真、观测仿真结果等基本内容，还包含了½用过程中的一些小技巧．
第 6 章主要对逻辑综合及综合工具 Design Compiler 进行了详细说明，包括 TCL 文件
的撰写、设计配½、综合工艺库½用和基本的综合流程介绍；对综合后进行静态时序分析
的方法进行了讨论，同时关注了各种约束，如输入输出约束、组合逻辑路径约束和设计环
境约束等；最后以设计实例介绍整个综合流程。
第 7 章围绕 Synopsys 公司的产品 ICC(IC Compiler) 对数字集成电路的各物理实现流程
进行介绍，并详细介绍了数据准备、布局布线、电源规划和时钟树综合等。
第 8 章重点介绍了 Mentor 公司的 Encounter 工具。
本书由厦门理工学院副教授陈钺颖主持编纂。北方工业大学戴澜副教授、张晓波高级
实验师，中科院微电子所张锋研究员为主要编著者，另外，中科院微电子所的王雷博士、
中科院自动化所蒋银坪助理研究员、郭阳博士，华大九天½件有限公司梁曼工程师也参与
了本书的编写工½。其中，陈钺颖完成了第 1 、 3 章的编写；第 2 章由张晓波编写，戴澜完
成了笫 4 、 6 、 7 章的编写，张锋完成了第 5 、 8 章的编写。
本书得到了½家自然科学基金项目 (61704143) 、福建省自然科学基金面上项目
(2018101566) 、福建省本科高校一般教育教学改革研究项目 (FBJG 20180270) 、厦门理工学
院教材建设基金资助项目的资助。在此表示感谢！
由于本书涉及知识面较广，加之时间仓促，编者水平有限，书中难免存在不足之处，
恳请读者批评指正。另外，考虑到大家的½用习惯，书中一些电路图½符号未½用新的½
际标准符号，特此说明。
编者
2018 年 12 月
京公网安备 11010802033920号
Copyright © 2005-2024 EEWORLD.com.cn, Inc. All rights reserved
评论