超大規模集成電路與嵌入式系統

哈菲茲·穆罕默德·哈桑·巴布（Hafiz Md.Hasan Babu）博士目前擔任孟加拉國達卡大學工程與技術學院院長以及計算機科學與工程系教授，他還是該系的前系主任。2016年7月13日至2020年7月12日，他擔任孟加拉國國立大學副校長。由於其卓越的學術和行政能力，他還擔任孟加拉國達卡大學機器人與機電一體化工程系教授和創始系主任。他曾擔任世界銀行高級顧問和孟加拉國Janata銀行有限公司信息技術與管理信息系統部門總經理。他曾經還是孟加拉國最高法院項目執行委員會的世界銀行常駐信息技術專家。他還是衛生和家庭福利部衛生經濟部門的信息技術顧問，參與了德國金融合作組織通過德國覆興信貸銀行（KfW）直接監督和資助的“SSK（Shasthyo Shurokhsha Karmasuchi）和社會健康保護計劃”項目。Hafiz Md.HasanBabu教授於1992年獲得捷克政府獎學金，獲得捷克共和國布爾諾理工大學計算機科學與工程碩士學位。2000年，獲日本政府獎學金，在日本九州工業大學攻讀博士學位。他還荻得了DAAD（德國學術交流中心）獎學金。

縮略語
第1部分 決策圖
第1章 共享多端二元決策圖
1.1 引言
1.2 預備知識
1.3 SMTBDD(k)的一個優化算法
1.3.1 權重計算程序
1.3.2 SMTBDD(3)的優化
1.4 小結
參考文獻
第2章 多輸出函數
2.1 引言
2.2 多輸出函數的二元決策圖
2.2.1 共享二元決策圖和多端二元決策圖
2.2.2 用於特徵函數的二元決策圖
2.2.3 各種二元決策圖的比較
2.3 緊湊型BDD for CF的構造
2.3.1 問題描述
2.3.2 輸出變量的排序
2.3.3 基於交錯採樣方案的輸入變量排序
2.3.4 輸入變量和輸出變量的交錯
2.3.5 變量排序算法
2.4 小結
參考文獻
第3章 多輸出函數的共享多值決策圖
3.1 引言
3.2 決策圖
3.2.1 二元決策圖
3.2.2 多值決策圖
3.3 緊湊型SMDD的構造
3.3.1 二進制輸入變量的配對
3.3.2 輸入變量的排序
3.4 小結
參考文獻
第4章 多值決策圖最小化的啟發式算法
4.1 引言
4.2 基本性質
4.3 多值決策圖
4.4 多值決策圖的最小化
4.4.1 二值輸入的配對
4.4.2 多值變量的排序
4.5 小結
參考文獻
第5章 多輸出函數的時分覆用實現——基於共享多端多值決策圖
5.1 引言
5.2 多輸出函數的決策圖
5.2.1 共享二元決策圖
5.2.2 共享多值決策圖
5.2.3 共享多端多值決策圖
5.3 時分覆用實現
5.3.1 基於SBDD的TDM實現
5.3.2 基於SMDD的TDM實現
5.3.3 基於SMTMDD的TDM實現
5.3.4 TDM 現的比較
5.4 SMTMDD的精簡
5.5 決策圖大小的上限
5.6 小結
參考文獻
第6章 多輸出開關函數——基於多值偽克羅內克決策圖
6.1 引言
6.2 定義和基本性質
6.3 偽克羅內克決策圖
6.3.1 二值偽克羅內克決策圖
6.3.2 多值偽克羅內克決策圖
6.4 四值偽克羅內克決策圖的優化
6.4.1 二值輸入變量的配對
6.4.2 四值變量的排序
6.4.3 展開的選擇
6.5 小結
參考文獻
第2部分 多值電路設計架構
第7章 多值觸發器——基於傳輸管邏輯
7.1 引言
7.1.1 傳輸管邏輯實現多值觸發器
7.1.2 傳輸管邏輯實現帶二進制編譯碼的多值觸發器
7.2 無二進制編譯碼的多值觸發器
7.2.1 傳輸管和閾值門的特性
7.2.2 用閾值門實現多值逆變器
7.2.3 用多值傳輸管邏輯實現多值觸發器
7.3 小結
參考文獻
第8章 多值多輸出邏輯電路——基於電壓模式傳輸管
8.1 引言
8.2 基本定義和術語
8.3 方法
8.3.1 二進制邏輯函數到多值邏輯函數的轉換
8.3.2 函數的配對
8.3.3 輸出階段
8.4 小結
參考文獻
第9章 多值輸入二值輸出函數
9.1 引言
9.2 基本定義
9.3 二值變量轉換為多值變量
9.4 小結
參考文獻
第10章 數字模糊運算——基於多值Fredkin門
10.1 引言
10.2 可逆邏輯
10.2.1 可逆門和經典數字邏輯
10.2.2 多值Fredkin門
10.3 模糊集與模糊關系
10.4 電路
10.4.1 多值Fredkin門模糊運算
10.4.2 用於組合模糊關系的脈動陣列結構
10.5 小結
參考文獻
第11章 基於查找表的多值多輸出邏輯表達式
11.1 引言
11.2 基本定義和性質
11.2.1 乘積項
11.2.2 最小乘積和
11.2.3 使用Kleenean系數的多值邏輯乘積和表達式
11.3 方法
11.3.1 支撐集矩陣
11.3.2 配對支撐集矩陣
11.4 基於Kleenean系數的多值多輸出函數最小化算法
11.5 基於電流模式CMOS實現多值多輸出函數
11.6 小結
參考文獻
第3部分 可編程邏輯器件
第12章 基於查找表的神經網絡矩陣乘法
12.1 引言
12.2 基本定義
12.3 方法
12.4 小結
參考文獻
第13章 基於傳輸管邏輯的易測試可編程邏輯陣列
13.1 引言
13.2 乘積線分組
13.3 設計
13.4 乘積線分組技術
13.5 小結
參考文獻
第14章 譯碼PLA輸入分配的遺傳算法
14.1 譯碼器簡介
14.2 譯碼PLA
14.3 基本定義
14.4 遺傳算法
14.4.1 遺傳算法術語
14.4.2 簡單遺傳算法
14.4.3 穩態遺傳算法
14.5 遺傳算子
14.5.1 選擇
14.5.2 交叉
14.5.3 突變
14.5.4 反演
14.6 譯碼PLA的遺傳算法
14.6.1 問題編碼
14.6.2 適應度函數
14.6.3 改進的遺傳算法
14.6.4 譯碼與-異或PLA實現