• 可编程逻辑器件的发展进程和分类 • 复杂可编程逻辑器件（CPLD） • 现场可编程门阵列（FPGA） • 可编程逻辑器件的编程与配置 • 可编程逻辑器件应用选择原则

第一章 数制和码制 第二章 逻辑代数基础 第三章 门电路 第四章 组合逻辑电路 第五章 半导体存储电路 第六章 时序逻辑电路 第七章 脉冲波形的产生和整形电路 第八章 数——模和模——数转换

• 基本知识 – 程序验证、程序逻辑、命题逻辑、谓词逻辑 • Hoare逻辑 – Hoare三元式、赋值公理、结构化语句的推理规 则、推论规则 • 生成验证条件的演算 – 最弱前条件演算、生成验证条件的演算 • 程序验证实例演示 – 二分查找程序

4.1 概述 4.2 组合逻辑电路的分析与设计 4.3 常用组合逻辑电路 4.4 用PLD实现组合电路 4.5 组合逻辑电路的竞争与冒险

5.1 异步时序逻辑电路的特点及模型 5.2 脉冲异步时序逻辑电路 5.3 电平异步时序逻辑电路的分析与设计

1.1 数制 (Number Systems) 1.3 二进制码(Binary Coding) 1.4 基本逻辑运算 (Logic Operations) 1.5 逻辑函数与逻辑问题的描述 1 数字逻辑概论 Introduction to Digital Logic 1.2 二进制数的算术运算

6.1 概述 6.2 时序逻辑电路的分析方法 6.3 若干常用的时序逻辑电路 6.4 时序逻辑电路的设计方法 6.5 时序逻辑电路中的竞争——冒险现象

7.1 可编程逻辑器件概述 7.2 可编程逻辑器件基础 7.3 通用阵列逻辑GAL

第一章 数制和码制 第二章 逻辑代数基础 第三章 门电路 第四章 组合逻辑电路 第五章 半导体存储电路 第六章 时序逻辑电路 第七章 脉冲波形的产生和整形电路 第八章 数——模和模——数转换

1.1 数制与代码 1.2 逻辑函数 1.3 逻辑代数的基本定律和运算规则 1.4 逻辑函数的代数化简法 1.5 逻辑函数的卡诺图化简 1.6 逻辑函数的常用表达形式