新書推薦：
《
中国经济发展的新阶段：机会与选择
》
售價：HK$
99.7
《
DK月季玫瑰百科
》
售價：HK$
210.6
《
为你想要的生活
》
售價：HK$
66.1
《
关键改变：如何实现自我蜕变
》
售價：HK$
77.3
《
超加工人群：为什么有些食物让人一吃就停不下来
》
售價：HK$
99.7
《
历史的教训（浓缩《文明的故事》精华，总结历史教训的独特见解）
》
售價：HK$
62.7
《
不在场证明谜案（超绝CP陷入冤案！日本文坛超新星推理作家——辻堂梦代表作首次引进！）
》
售價：HK$
58.2
《
明式家具三十年经眼录
》
售價：HK$
524.2
|
| 內容簡介： |
由于原著作者在原著序中所列举的六大原因，目前异步集成电路在国外的发展自20世纪90年代初以来已呈现加速趋势，已成为集成电路技术前沿的热点。Intel、IBM、ARM、Philip都在进行商用研究，其中ARM和Philip公司已推出面向低功耗和低电磁辐射的嵌入式异步芯片。与国外如火如荼的发展相反，异步集成电路技术在国内却未引起足够的重视，只在研究生层次开展了极少数的研究，对本科生的教育更是空白。市场上介绍异步集成电路设计的中文书迄今仅只有译著和编著各一本。国内数字电路课本中关于异步电路方面，有的完全没有，有的只有一章，内容仅限于异步计数器和异步单输入变化自动机等初级内容，这仅仅相当于国外20世纪五六十年代的水平。本书推出的目的就是更快更好地填补国内这方面的空白，将异步集成电路这一具有战略意义的新事物介绍给广大的国内读者。
本书是尤他大学Myers教授所写的异步集成电路教材。他领导着全球唯一的专门研究定时电路的实验室，是此方面的权威。本书覆盖了异步电路的各个方面，涉及信道模型、通信协议、异步自动机、延迟不敏感电路、定时电路，以及异步验证方面的内容。其中定时电路是所有异步电路中速度最快，最节省器件的一类，也是最难设计的。定时电路较少有人系统研究，一些信息仅零散出现于论文中。本书中第7章专门讲解了定时电路，所以此部分内容极具价值。Myers领导的定时电路实验室应用定时电路设计技术开发的RAPPID电路达到了很高的性能。另外书中异步集成电路的验证方面的内容也是少有的。读者可以下载此研究组开发的设计工具自行尝试异步设计。
|
| 目錄：
|
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.2VHDL中的结构建模
2.3控制结构
2.3.1选择
2.3.2循环
2.4死锁
2.5探查
2.6并行通信
2.7例子： MiniMIPS
2.7.1VHDL规范
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.3Petri网
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无冒险两级逻辑综合
5.4.1两级逻辑化简
5.4.2质蕴涵项的生成
5.4.3质蕴涵项的选择
5.4.4组合冒险
5.5MIC操作的扩展
5.5.1转换立方
5.5.2功能冒险
5.5.3组合冒险
5.5.4猝发模式转换
5.5.5扩展猝发模式转换
5.5.6状态化简
5.5.7状态赋值
5.5.8无冒险两级逻辑综合
5.6多级逻辑综合
5.7工艺映射
5.8通用C单元实现
5.9时序冒险
5.10原始文献
习题
6马勒电路
6.1速度无关的形式定义
6.1.1速度无关电路的子类
6.1.2一些有用的定义
6.2完全状态编码
6.2.1转换点和插入点
6.2.2状态图着色
6.2.3插入点代价函数
6.2.4状态信号插入
6.2.5解决CSC违反的算法
6.3无冒险逻辑综合
6.3.1原子门实现
6.3.2通用C单元实现
6.3.3标准C实现
6.3.4单立方算法
6.4无冒险分解
6.4.1插入点再考察
6.4.2无冒险分解算法
6.5速度无关设计的局限性
6.6原始文献
习题
7定时电路
7.1时序建模
7.2区域
7.3离散时间
7.4地带
7.5POSET时序
7.6定时电路
7.7原始文献
习题
8验证
8.1协议验证
8.1.1线性时态逻辑
8.1.2时间量化的需求
8.2电路验证
8.2.1迹结构
8.2.2合成
8.2.3正则迹结构
8.2.4镜像和验证
8.2.5强符合
8.2.6定时迹理论
8.3原始文献
习题
9应用
9.1异步电路设计简史
9.2一个异步的指令长度译码器
9.3性能分析
9.4测试异步电路
9.5同步问题
9.5.1同步故障的可能性
9.5.2降低故障的可能性
9.5.3消除故障的可能性
9.5.4仲裁
9.6异步电路设计的未来
9.7原始文献
习题
附录AVHDL包
A.1NONDETERMINISM.VHD
A.2CHANNEL.VHD
A.3HANDSHAKE.VHD
附录B集合与关系
B.1基本集合理论
B.2关系
索引
参考文献
|
|
購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽
HOME
新書上架
