VHDL大学实用教程PDF电子书下载

第1章 使用VHDL和PLD进行数字系统设计 1

1.1 VHDL/PLD设计方法 1

1.2需求分析与规范制定 3

1.3 VHDL设计描述 4

1.4通过仿真进行验证 6

1.5测试平台 8

1.6功能（行为）仿真 10

1.7可编程逻辑器件（PLD） 11

1.8 SPLD和22V10 13

1.9目标器件的逻辑综合 17

1.10布局布线和时序仿真 19

1.11编程和目标器件的验证 22

1.12 VHDL/PLD设计方法的优点 23

1.13 VHDL的发展 23

1.14 VHDL在仿真和综合中的应用 24

1.15本书的主要目标 24

习题 24

第2章 实体、结构体和编程风格 27

2.1设计单元、库单元和设计实体 27

2.2实体说明 28

2.3 VHDL语法定义 28

2.4端口模式 31

2.5结构体 32

2.6编程风格 33

2.7综合结果与程序风格的关系 40

2.8抽象和综合的层次 42

2.9层次化设计与电路的结构描述 43

习题 45

第3章 信号和数据类型 50

3.1对象分类和对象类型 50

3.2信号对象 51

3.3标量类型 53

3.4 STD_LOGIC类型 56

3.5标量文字（scalar literal）和标量常量（scalar constant） 60

3.6复合类型 60

3.7数组 61

3.8无符号和有符号类型 65

3.9复合文字和复合常量 66

3.10整型 68

3.11可综合的端口类型 70

3.12操作符（算子）和表达式 71

习题 72

第4章 数据流风格的组合逻辑电路设计 75

4.1逻辑操作符 75

4.2数据流方式结构体中的信号赋值 77

4.3选择型信号赋值 79

4.4布尔型及相关的操作符 80

4.5条件（型）信号赋值 81

4.6优先级编码器 84

4.7输入无关项与输出无关项 85

4.8译码器 88

4.9查表法 90

4.10三态缓冲器 93

4.11避免组合（逻辑）环路 95

习题 96

第5章 行为风格的组合逻辑电路设计 101

5.1行为风格的结构体 101

5.2进程语句 103

5.3顺序语句 104

5.4 case语句 104

5.5 if语句 107

5.6 loop语句 110

5.7变量 113

5.8例题：奇偶校验检测器电路 114

5.9描述组合逻辑电路的进程综合 118

习题 119

第6章 事件驱动的仿真 123

6.1仿真器类型 123

6.2精确化（elaboration） 124

6.3信号驱动器 127

6.4仿真器内核进程 129

6.5仿真初始化 130

6.6仿真周期 131

6.7信号和变量 136

6.8 8延迟 141

6.9 8延迟和组合环路 144

6.10多重驱动器 146

6.11信号属性 148

习题 151

第7章 组合逻辑电路的测试平台 155

7.1设计验证 155

7.2组合逻辑电路的功能验证 157

7.3一个简单的测试平台 157

7.4物理类型 159

7.5单进程测试平台 160

7.6等待语句 162

7.7断言（assert）和报告（report）语句 164

7.8基于记录和查找表的测试平台 165

7.9计算激励和期望结果的测试平台 168

7.10预定义的移位操作符 169

7.11根据UUT的功能安排激励顺序 170

7.12将UUT与等效模型进行比较 172

7.13代码覆盖率和分支覆盖率 174

7.14组合逻辑电路的网表验证和时序验证 176

7.15使用VITAL和SDF的时序模型 179

习题 186

第8章 锁存器与触发器 189

8.1时序系统及其存储元件 189

8.2 D锁存器 191

8.3检测时钟边沿 195

8.4 D触发器 196

8.5使能（门控）触发器 200

8.6其他类型的触发器 203

8.7 PLD中的基本存储元件 205

8.8定时需求与同步输入数据 206

习题 207

第9章 多位锁存器、寄存器、计数器和存储器 209

9.1多位锁存器与寄存器 209

9.2移位寄存器 211

9.3移位寄存式计数器 215

9.4计数器 216

9.5检测非时钟信号的边沿 224

9.6具有微处理器接口的脉宽调制器 228

9.7存储器 231

习题 235

第10章 有限状态机 238

10.1有限状态机 238

10.2 FSM的状态图 241

10.3三进程FSM的VHDL模型 242

10.4创建状态图 244

10.5 OSE译码器 252

10.6状态编码与状态分配 255

10.7状态机可靠性 258

10.8禁止逻辑FSM举例 261

10.9用摩尔型FSM实现的计数器 263

习题 265

第11章 ASM图和RTL设计 269

11.1算法状态图 269

11.2将ASM图转换成VHDL 273

11.3系统结构 274

11.4连续逼近寄存器设计举例 277

11.5时序乘法器设计 285

习题 291

第12章 子程序 293

12.1子程序 293

12.2函数 296

12.3过程 299

12.4数组特性和非受约束数组 302

12.5子程序和操作符过载 306

12.6类型转换 308

习题 311

第13章 程序包 312

13.1包头和包体 312

13.2标准程序包和实际存在的标准程序包 314

13.3 STD_LOGIC_1164程序包 318

13.4 NUMERIC_STD程序包（IEEE STD 1076.3） 322

13.5 STD_LOGIC_ARITH程序包 326

13.6 VHDL文本输出程序包 327

习题 327

第14章 时序系统的测试平台 328

14.1简单时序电路的测试平台 328

14.2生成系统时钟 328

14.3生成系统复位信号 331

14.4同步激励的产生和监控 331

14.5连续逼近寄存器的测试平台 335

14.6时序系统测试平台激励的选择 338

14.7使用过程产生激励 340

14.8激励过程中的输出验证 343

14.9总线功能建模 344

14.10响应监控 350

习题 352

第15章 模块化和层次化设计 354

15.1模块和层次的划分 354

15.2设计单元和库单元 356

15.3设计库 357

15.4库单元的使用 358

15.5设计实体的直接例化 360

15.6元件和设计实体的间接例化 362

15.7配置说明 366

15.8元件连接 371

15.9参数化的设计实体 374

15.10参数化的模块库（LPM） 376

15.11生成语句 378

习题 383

第16章 设计实例 385

16.1与微处理器兼容的正交译码器/计数器设计 385

16.2正交译码/计数器的验证 390

16.3参数化的正交译码/计数器 394

16.4电子安全锁设计 394

16.5电子安全锁的验证 405

16.6 RF发射器编码器的设计 408

习题 413

附录 414

参考文献 416