異步電路設計

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 循環(huán)
2.4 死鎖
2.5 探查
2.6 并行通信
2.7 例子：MiniMIPS
2.7.1 VHDL規(guī)范
2.7.2 優(yōu)化的MiniMIPS
2.8 原始文獻
習題
3 通信協議
3.1 基本結構
3.2 主動和被動端口
3.3 握手展開
3.4 調序
3.5 狀態(tài)變量插入
3.6 數據編碼
3.7 例子：兩個酒鋪
3.8 語法制導的翻譯
3.9 原始文獻
習題
4 圖形表示
4.1 圖的基礎
4.2 異步有限狀態(tài)機
4.2.1 有限狀態(tài)機和流程表
4.2.2 猝發(fā)模式狀態(tài)機
4.2.3 擴展猝發(fā)模式狀態(tài)機
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 狀態(tài)化簡
5.2.1 尋找相容狀態(tài)對
5.2.2 尋找最大相容類
5.2.3 尋找質相容類
5.2.4 建立覆蓋問題
5.2.5 構成簡化的流程表
5.3 狀態(tài)賦值
5.3.1 劃分理論和狀態(tài)賦值
5.3.2 矩陣簡化方法
5.3.3 尋找最大相交類
5.3.4 建立覆蓋問題
5.3.5 用反饋的輸出作狀態(tài)變量
5.4 無冒險兩級邏輯綜合
……
6 馬勒電路
7 定時電路
8 驗證
9 應用
附錄A VHDL包
附錄B 集合與關系
索引
參考文獻