图书介绍

异步电路设计PDF|Epub|txt|kindle电子书版本网盘下载

异步电路设计
  • （美）迈尔斯著 著
  • 出版社： 北京：清华大学出版社
  • ISBN：9787302319153
  • 出版时间：2013
  • 标注页数：316页
  • 文件大小：62MB
  • 文件页数：329页
  • 主题词：电路设计－教材

PDF下载


点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢]  [在线试读本书]   [在线获取解压码]
点击复制MD5值：c8f41d9523813101afa022ae277717e2

下载说明

异步电路设计PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载  详情点击-查看共享计划
建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

图书目录

1绪论1

1.1问题说明1

1.2通信通道2

1.3通信协议3

1.4图形表示6

1.5延迟不敏感电路8

1.6霍夫曼电路10

1.7马勒电路12

1.8定时电路13

1.9验证15

1.10应用16

1.11让我们开始16

1.12原始文献16

习题17

2通信通道19

2.1基本结构19

2.2 VHDL中的结构建模22

2.3控制结构25

2.3.1选择25

2.3.2循环27

2.4死锁28

2.5探查28

2.6并行通信29

2.7例子：MiniMIPS29

2.7.1 VHDL规范30

2.7.2优化的MiniMIPS40

2.8原始文献43

习题43

3通信协议47

3.1基本结构47

3.2主动和被动端口50

3.3握手展开50

3.4调序53

3.5状态变量插入55

3.6数据编码55

3.7例子：两个酒铺58

3.8语法制导的翻译60

3.9原始文献65

习题66

4图形表示69

4.1图的基础69

4.2异步有限状态机71

4.2.1有限状态机和流程表71

4.2.2猝发模式状态机73

4.2.3扩展猝发模式状态机75

4.3 Petri网80

4.3.1普通Petri网80

4.3.2信号转换图88

4.4定时事件/电平结构92

4.5原始文献95

习题96

5霍夫曼电路103

5.1求解覆盖问题104

5.1.1矩阵简化技术105

5.1.2定界107

5.1.3终止108

5.1.4分支108

5.2状态化简110

5.2.1寻找相容状态对110

5.2.2寻找最大相容类112

5.2.3寻找质相容类113

5.2.4建立覆盖问题115

5.2.5构成简化的流程表120

5.3状态赋值121

5.3.1划分理论和状态赋值121

5.3.2矩阵简化方法122

5.3.3寻找最大相交类123

5.3.4建立覆盖问题125

5.3.5用反馈的输出作状态变量126

5.4无冒险两级逻辑综合128

5.4.1两级逻辑化简128

5.4.2质蕴涵项的生成129

5.4.3质蕴涵项的选择131

5.4.4组合冒险131

5.5 MIC操作的扩展133

5.5.1转换立方133

5.5.2功能冒险133

5.5.3组合冒险134

5.5.4猝发模式转换136

5.5.5扩展猝发模式转换137

5.5.6状态化简139

5.5.7状态赋值141

5.5.8无冒险两级逻辑综合142

5.6多级逻辑综合145

5.7工艺映射146

5.8通用C单元实现148

5.9时序冒险149

5.10原始文献150

习题153

6马勒电路159

6.1速度无关的形式定义159

6.1.1速度无关电路的子类162

6.1.2一些有用的定义163

6.2完全状态编码165

6.2.1转换点和插入点166

6.2.2状态图着色168

6.2.3插入点代价函数168

6.2.4状态信号插入170

6.2.5解决CSC违反的算法171

6.3无冒险逻辑综合172

6.3.1原子门实现172

6.3.2通用C单元实现173

6.3.3标准C实现176

6.3.4单立方算法182

6.4无冒险分解186

6.4.1插入点再考察187

6.4.2无冒险分解算法188

6.5速度无关设计的局限性190

6.6原始文献190

习题191

7定时电路197

7.1时序建模197

7.2区域199

7.3离散时间202

7.4地带203

7.5 POSET时序212

7.6定时电路219

7.7原始文献222

习题223

8验证225

8.1协议验证225

8.1.1线性时态逻辑225

8.1.2时间量化的需求229

8.2电路验证231

8.2.1迹结构231

8.2.2合成232

8.2.3正则迹结构234

8.2.4镜像和验证236

8.2.5强符合238

8.2.6定时迹理论238

8.3原始文献239

习题240

9应用244

9.1异步电路设计简史244

9.2一个异步的指令长度译码器246

9.3性能分析250

9.4测试异步电路250

9.5同步问题252

9.5.1同步故障的可能性253

9.5.2降低故障的可能性254

9.5.3消除故障的可能性255

9.5.4仲裁257

9.6异步电路设计的未来258

9.7原始文献259

习题261

附录A VHDL包263

A.1 NONDETERMINISM.VHD263

A.2 CHANNEL.VHD264

A.3 HANDSHAKE.VHD271

附录B 集合与关系276

B.1基本集合理论276

B.2关系278

索引281

参考文献295

热门推荐