![数字专用集成电路的设计与验证](https://cover.qianqiantushu.cc/35/s6fb98c3.jpg)
![数字专用集成电路的设计与验证](https://cover.qianqiantushu.cc/35/s6fb98c3.jpg)
数字专用集成电路的设计与验证PDF电子书下载
- 电子书积分:11 积分如何计算积分?
- 作 者:杨宗凯等编著
- 出 版 社:北京:电子工业出版社
- 出版年份:2004
- ISBN:7121003783
- 页数:288 页
1.1 引言 1
1.1.1 集成电路产业的发展历程 1
第1章 概述 1
1.1.2 摩尔定律 3
1.1.3 集成电路设计方法 3
1.2 ASIC的概念 6
1.2.1 门阵列和标准单元(Gate Array and Standard Cell) 6
1.2.2 ASIC类型的选择 8
1.3.1 ASIC开发流程 9
1.3 ASIC开发流程 9
1.3.2 预研阶段 10
1.3.3 顶层设计阶段 12
1.3.4 模块级详细设计阶段 13
1.3.5 模块实现阶段 16
1.3.6 子系统仿真阶段 18
1.3.7 系统仿真,综合和版图设计前门级仿真阶段 20
1.3.8 后端版面设计阶段 24
1.3.9 版面设计后仿真/综合阶段 25
1.3.11 测试硅片准备阶段 27
1.3.10 生产签字 27
1.3.12 硅片测试阶段 29
1.3.13 小结 31
1.4 中国集成电路发展现状 31
1.4.1 产业现状 31
1.4.2 市场需求预测 33
第2章 Verilog HDL硬件描述语言简介 35
2.1 电子系统设计方法的演变过程 35
2.2.1 什么是硬件描述语言(HDL) 37
2.2.2 为什么使用硬件描述语言 37
2.2 硬件描述语言综述 37
2.2.3 HDL的发展历史 38
2.2.4 HDL语言的主要特征 38
2.2.5 Verilog HDL与VHDL的比较 39
2.2.6 硬件描述语言的最新发展 39
2.3 Verilog HDL的基础知识 42
2.3.1 程序结构 42
2.3.2 词法习俗 44
2.3.3 数据类型 47
2.3.4 运算符与表达式 51
2.3.5 控制结构 58
2.3.6 赋值语句 64
2.3.7 任务与函数结构 69
2.3.8 时序控制 72
2.4 VerilogHDL的设计模拟与仿真 74
2.4.1 测试模块 74
2.4.2 编译指令 74
第3章 ASIC前端设计 76
3.1 引言 76
3.2 ASIC前端设计概念 77
3.3.2 编码阶段的规范 78
3.3.1 文档阶段的规范 78
3.3 ASIC前端设计的工程规范 78
3.3.3 验证阶段的规范 79
3.4 设计思想 79
3.4.1 层次化设计 79
3.4.2 串行设计 81
3.4.3 并行设计 81
3.4.4 流水线(Pipeline)设计 82
3.5 结构设计 83
3.5.1 行为级综合 83
3.5.2 可测性设计 84
3.6 同步电路 87
3.6.1 同步系统的优缺点 88
3.6.2 同步系统中的时钟分配网络 89
3.7 ASIC前端设计基于时钟的划分 90
3.8 同步时钟设计 90
3.8.1 同步时钟功能模块设计 90
3.8.2 有限状态机(FSM)的设计 91
3.8.3 先进先出队列(FTFO)的设计 99
3.8.4 仲裁器(Arbiter)的设计 110
3.8.5 存储器接口的一个简单设计实例 112
3.8.6 同步时钟设计总结 113
3.9 ASIC异步时钟设计 113
3.9.1 异步时序的定义 114
3.9.2 亚稳态 114
3.9.3 同步策略 114
3.9.4 异步FIFO简介 117
3.9.5 异步时钟设计对逻辑的影响 121
3.9.6 异步时序设计总结 124
3.10 小结 124
4.1.1 功能验证 125
4.1 ASIC前端验证综述 125
第4章 ASIC前端验证 125
4.1.2 功能验证的目的、作用及面临的主要问题 126
4.1.3 黑盒验证与白盒验证 128
4.2 前端验证的一般方法 129
4.2.1 基于仿真的验证流程(Testcase Based Verification) 129
4.2.2 形式验证(Formal Verification) 134
4.2.3 基于命题的验证(Assertion Based Verification) 137
4.3 testbench 138
4.3.1 行为级和寄存器传输级 138
4.3.2 结构化的testbench 140
4.3.3 总线功能模型 148
4.4 参考模型(Reference Module) 155
4.4.1 什么是参考模型 155
4.4.2 参考模型的设计 155
4.4.3 SystemC 157
4.4.4 自动生成测试向量 160
4.5 验证组件的整合与仿真 164
4.6 小结 169
5.1.2 寄存器传输级电路和门级电路 170
5.1.1 综合简介 170
5.1 综合的原理和思想 170
第5章 逻辑综合 170
5.2 可综合的代码的编写规范 173
5.2.1 if和case 173
5.2.2 针对较大时延的信号设计if和case语句 176
5.2.3 高性能的编写程序代码技术 184
5.2.4 一些设计的基本规则 187
5.2.5 应该注意的若干问题 188
5.3 综合步骤 189
5.3.1 文件准备 189
5.3.2 选择和设置逻辑单元库 190
5.3.3 初始环境设置 192
5.3.4 设计文件读取和分析 192
5.3.5 设置约束条件 193
5.3.6 选择wire load模型 206
5.3.7 设置时钟 207
5.3.8 端口信号约束 209
5.3.9 选择综合优化策略 211
5.3.10 综合优化 214
5.3.11 时序分析 215
5.4.1 时序问题的解决 220
5.4 综合的若干问题及解决 220
5.4.2 latch问题 224
5.4.3 不匹配(mismatch) 225
第6章 可测性技术 229
6.1 可测性技术简介 229
6.1.1 可测性技术的产生 230
6.1.2 可测性技术的内涵 230
6.1.3 可测性的关键技术 231
6.1.4 可测性技术的发展历程与现状 231
6.2.1 Ad-hoc测试的基本思想 233
6.2 Ad-hoc测试技术 233
6.2.2 Ad-hoc测试举例 234
6.2.3 Ad-hoc测试技术总结 235
6.3 扫描技术 235
6.3.1 扫描测试的基本思想 236
6.3.2 扫描测试流程 237
6.3.3 扫描测试的分类 238
6.4 内建自测技术(BIST) 248
6.4.1 内建自测试技术的基本思路 248
6.4.2 BIST中的状态图分析法 249
6.4.3 串行BIST结构 250
6.4.4 并行BIST结构 252
6.4.5 内建自测与其他测试技术的结合 254
6.5 几种DFT技术的比较 256
6.5.1 占用面积 256
6.5.2 耗费管脚 257
6.5.3 对原始设计的影响 257
6.5.4 CAD工具的需求 257
第7章 后端验证 259
7.1 前仿真与后仿真 259
7.2 逻辑延迟时间的基本概念 260
7.3 门级网表 263
7.4 构建后仿真环境 266
7.4.1 引脚连接 267
7.4.2 调用sdf文件 269
附录A 常用术语表 270
附录B Verilog语法和词汇惯用法 272
附录C Verilog HDL关键字 284
附录D Verilog不支持的语言结构 285
参考文献 287
- 《民国时期医药卫生文献集成 37》路丽明编 2019
- 《民国时期医药卫生文献集成 19》路丽明编 2019
- 《民国时期医药卫生文献集成 24》路丽明编 2019
- 《集成曲谱金集 卷7 卷8》黄天骥总主编;王季烈,刘富梁辑 2018
- 《通信电子电路原理及仿真设计》叶建芳 2019
- 《民国时期医药卫生文献集成 13》路丽明编 2019
- 《中国大运河历史文献集成 7》王云,李泉主编 2014
- 《民国时期医药卫生文献集成 16》路丽明编 2019
- 《中国酒文献诗文集成 第10册 清酒诗文 卷3》李修余,彭贵川,胡春秀编著 2018
- 《计算机自适应英语语用能力测试系统设计与效度验证 以TEM4词汇与语法题为例》张一鑫著 2019
- 《市政工程基础》杨岚编著 2009
- 《家畜百宝 猪、牛、羊、鸡的综合利用》山西省商业厅组织技术处编著 1959
- 《《道德经》200句》崇贤书院编著 2018
- 《高级英语阅读与听说教程》刘秀梅编著 2019
- 《计算机网络与通信基础》谢雨飞,田启川编著 2019
- 《看图自学吉他弹唱教程》陈飞编著 2019
- 《法语词汇认知联想记忆法》刘莲编著 2020
- 《培智学校义务教育实验教科书教师教学用书 生活适应 二年级 上》人民教育出版社,课程教材研究所,特殊教育课程教材研究中心编著 2019
- 《国家社科基金项目申报规范 技巧与案例 第3版 2020》文传浩,夏宇编著 2019
- 《流体力学》张扬军,彭杰,诸葛伟林编著 2019
- 《电子测量与仪器》人力资源和社会保障部教材办公室组织编写 2009
- 《少儿电子琴入门教程 双色图解版》灌木文化 2019
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《北京生态环境保护》《北京环境保护丛书》编委会编著 2018
- 《指向核心素养 北京十一学校名师教学设计 英语 九年级 上 配人教版》周志英总主编 2019
- 《通信电子电路原理及仿真设计》叶建芳 2019
- 《高等院校旅游专业系列教材 旅游企业岗位培训系列教材 新编北京导游英语》杨昆,鄢莉,谭明华 2019
- 《电子应用技术项目教程 第3版》王彰云 2019
- 《中国十大出版家》王震,贺越明著 1991
- 《近代民营出版机构的英语函授教育 以“商务、中华、开明”函授学校为个案 1915年-1946年版》丁伟 2017