商品簡介
由于原著作者在原著序中所列舉的六大原因，目前異步集成電路在國外的發展自20世紀90年代初以來已呈現加速趨勢，已成為集成電路技術前沿的熱點。Intel、IBM、ARM、Philip都在進行商用研究，其中ARM和Philip公司已推出面向低功耗和低電磁輻射的嵌入式異步芯片。與國外如火如荼的發展相反，異步集成電路技術在國內卻未引起足夠的重視，只在研究生層次開展了極少數的研究，對本科生的教育更是空白。市場上介紹異步集成電路設計的中文書迄今僅只有譯著和編著各一本。國內數字電路課本中關于異步電路方面，有的完全沒有，有的只有一章，內容僅限于異步計數器和異步單輸入變化自動機等初級內容，這僅僅相當于國外20世紀五六十年代的水平。本書推出的目的就是更快更好地填補國內這方面的空白，將異步集成電路這一具有戰略意義的新事物介紹給廣大的國內讀者。
本書是尤他大學Myers教授所寫的異步集成電路教材。他領導著全球唯一的專門研究定時電路的實驗室，是此方面的權威。本書覆蓋了異步電路的各個方面，涉及信道模型、通信協議、異步自動機、延遲不敏感電路、定時電路，以及異步驗證方面的內容。其中定時電路是所有異步電路中速度最快，最節省器件的一類，也是最難設計的。定時電路較少有人系統研究，一些信息僅零散出現于論文中。本書中第7章專門講解了定時電路，所以此部分內容極具價值。Myers領導的定時電路實驗室應用定時電路設計技術開發的RAPPID電路達到了很高的性能。另外書中異步集成電路的驗證方面的內容也是少有的。讀者可以下載此研究組開發的設計工具自行嘗試異步設計。
作者簡介
名人/編輯推薦
目次
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通信通道
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關系
索引
參考文獻
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大，除封面破損、內頁脫落等較嚴重的狀態，其餘商品將正常出貨。
特別提醒：部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供，需以QR CODE 連結至當地網站註冊“並通過驗證程序”，方可下載使用。
無現貨庫存之簡體書，將向海外調貨：
海外有庫存之書籍，等候約45個工作天;
海外無庫存之書籍，平均作業時間約60個工作天，然不保證確定可調到貨，尚請見諒。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。