異步電路設(shè)計

1 緒論
1.1 問題說明
1.2 通信通道
1.3 通信協(xié)議
1.4 圖形表示
1.5 延遲不敏感電路
1.6 霍夫曼電路
1.7 馬勒電路
1.8 定時電路
1.9 驗證
1.10 應(yīng)用
1.11 讓我們開始
1.12 原始文獻(xiàn)
習(xí)題
2 通信通道
2.1 基本結(jié)構(gòu)
2.2 VHDL中的結(jié)構(gòu)建模
2.3 控制結(jié)構(gòu)
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 原始文獻(xiàn)
習(xí)題
3 通信協(xié)議
3.1 基本結(jié)構(gòu)
3.2 主動和被動端口
3.3 握手展開
3.4 調(diào)序
3.5 狀態(tài)變量插入
3.6 數(shù)據(jù)編碼
3.7 例子：兩個酒鋪
3.8 語法制導(dǎo)的翻譯
3.9 原始文獻(xiàn)
習(xí)題
4 圖形表示
4.1 圖的基礎(chǔ)
4.2 異步有限狀態(tài)機(jī)
4.2.1 有限狀態(tài)機(jī)和流程表
4.2.2 猝發(fā)模式狀態(tài)機(jī)
4.2.3 擴(kuò)展猝發(fā)模式狀態(tài)機(jī)
4.3 Petri網(wǎng)
4.3.1 普通Petri網(wǎng)
4.3.2 信號轉(zhuǎn)換圖
4.4 定時事件／電平結(jié)構(gòu)
4.5 原始文獻(xiàn)
習(xí)題
5 霍夫曼電路
5.1 求解覆蓋問題
5.1.1 矩陣簡化技術(shù)
5.1.2 定界
5.1.3 終止
5.1.4 分支
5.2 狀態(tài)化簡
5.2.1 尋找相容狀態(tài)對
5.2.2 尋找最大相容類
5.2.3 尋找質(zhì)相容類
5.2.4 建立覆蓋問題
5.2.5 構(gòu)成簡化的流程表
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 應(yīng)用
附錄A VHDL包
附錄B 集合與關(guān)系
索引
參考文獻(xiàn)