| ISBN | 出版时间 | 包装 | 开本 | 页数 | 字数 |
|---|---|---|---|---|---|
| 未知 | 暂无 | 暂无 | 未知 | 0 | 暂无 |
1 绪论
1.1 问题说明
1.2 通信通道
1.3 通信协议
1.4 图形表示
1.5 延迟不敏感电路
1.6 霍夫曼电路
1.7 马勒电路
1.8 定时电路
1.9 验证
1.10 应用
1.11 让我们开始
1.12 原始文献
习题
2 通信通道
2.1 基本结构
2.2 VHDL中的结构建模
2.3 控制结构
2.3.1 选择
2.3.2 循环
2.4 死锁
2.5 探查
2.6 并行通信
2.7 例子：MiniMIPS
2.7.1 VHDL规范
2.7.2 优化的MiniMIPS
2.8 原始文献
习题
3 通信协议
3.1 基本结构
3.2 主动和被动端口
3.3 握手展开
3.4 调序
3.5 状态变量插入
3.6 数据编码
3.7 例子：两个酒铺
3.8 语法制导的翻译
3.9 原始文献
习题
4 图形表示
4.1 图的基础
4.2 异步有限状态机
4.2.1 有限状态机和流程表
4.2.2 猝发模式状态机
4.2.3 扩展猝发模式状态机
4.3 Petri网
4.3.1 普通Petri网
4.3.2 信号转换图
4.4 定时事件／电平结构
4.5 原始文献
习题
5 霍夫曼电路
5.1 求解覆盖问题
5.1.1 矩阵简化技术
5.1.2 定界
5.1.3 终止
5.1.4 分支
5.2 状态化简
5.2.1 寻找相容状态对
5.2.2 寻找最大相容类
5.2.3 寻找质相容类
5.2.4 建立覆盖问题
5.2.5 构成简化的流程表
5.3 状态赋值
5.3.1 划分理论和状态赋值
5.3.2 矩阵简化方法
5.3.3 寻找最大相交类
5.3.4 建立覆盖问题
5.3.5 用反馈的输出作状态变量
5.4 无冒险两级逻辑综合
……
6 马勒电路
7 定时电路
8 验证
9 应用
附录A VHDL包
附录B 集合与关系
索引
参考文献
