異步電路設(shè)計(jì)

1 緒論
1.1 問(wèn)題說(shuō)明
1.2 通信通道
1.3 通信協(xié)議
1.4 圖形表示
1.5 延遲不敏感電路
1.6 霍夫曼電路
1.7 馬勒電路
1.8 定時(shí)電路
1.9 驗(yàn)證
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 主動(dòng)和被動(dòng)端口
3.3 握手展開
3.4 調(diào)序
3.5 狀態(tài)變量插入
3.6 數(shù)據(jù)編碼
3.7 例子：兩個(gè)酒鋪
3.8 語(yǔ)法制導(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 信號(hào)轉(zhuǎn)換圖
4.4 定時(shí)事件／電平結(jié)構(gòu)
4.5 原始文獻(xiàn)
習(xí)題
5 霍夫曼電路
5.1 求解覆蓋問(wèn)題
5.1.1 矩陣簡(jiǎn)化技術(shù)
5.1.2 定界
5.1.3 終止
5.1.4 分支
5.2 狀態(tài)化簡(jiǎn)
5.2.1 尋找相容狀態(tài)對(duì)
5.2.2 尋找最大相容類
5.2.3 尋找質(zhì)相容類
5.2.4 建立覆蓋問(wèn)題
5.2.5 構(gòu)成簡(jiǎn)化的流程表
5.3 狀態(tài)賦值
5.3.1 劃分理論和狀態(tài)賦值
5.3.2 矩陣簡(jiǎn)化方法
5.3.3 尋找最大相交類
5.3.4 建立覆蓋問(wèn)題
5.3.5 用反饋的輸出作狀態(tài)變量
5.4 無(wú)冒險(xiǎn)兩級(jí)邏輯綜合
……
6 馬勒電路
7 定時(shí)電路
8 驗(yàn)證
9 應(yīng)用
附錄A VHDL包
附錄B 集合與關(guān)系
索引
參考文獻(xiàn)