基本信息
作 者：巴斯克爾，孫海平 著 叢 書 名：出 版 社：清華大學出版社ISBN：97
內容簡介
本書主要介紹systemC的硬體建模方面，即SystemC的RTL可綜合子集。採用該子集編寫的模型可以綜合成邏輯門電路，進而進入模型的硬體實現階段。
本書專門面向那些希望學習和了解SystemC的設計工程師和系統工程師。本書適合於初學者，可以作為高校的體系結構、數字設計和系統設計等課程的教材。
作者簡介
J.Bhasker是Cadence Design Systems公司的資深設計師。他曾是朗訊科技貝爾實驗室的傑出研究員。他撰寫了多本關於硬體描述語言及綜合的著作，包括暢銷書“A VHDL Primer”和“A Verilog HDL Primer”。Bhasker在美國明尼蘇達大學獲得計算機科學博士學位，在新德里印度理工學院獲得計算機技術碩士學位和電子工程學士學位。
目錄
譯者序
原書序
前言
第1章 緒論
1.1 什麼是SystemC？
1.2 為何採用SystemC？
1.3 設計方法
1.4 設計能力
1.5 SystemC RTL
1.6 本書的組織結構
1.7 練習
第2章 SystemC入門
2.1 基礎知識
2.2 再看一個2*4解碼電路示例
2.3 描述層次關係
2.4 驗證功能
2.5 練習
第3章 數據類型
3.1 值保持器
3.2 類型概述
3.3 位類型
3.4 任意位寬的位類型
3.5 邏輯類型
3.6 任意位寬的邏輯類型
3.7 有符號整型
3.8 無符號整型
3.9 任意精度的有符號整型
3.10 任意精度的無符號整型
3.11 解析式類型
3.12 用戶定義的數據類型
3.13 推薦採用的數據類型
3.14 練習
第4章 組合邏輯建模
4.1 SC-MODULE
4.1.1 檔案結構
4.2 示例
4.3 讀寫連線埠和信號
4.4 邏輯算符
4.5 算術算符
4.5.1 無符號算術
4.5.2 有符號算術
4.6 關係算符
4.7 向量與位區間
4.7.1 常量下標
4.7.2 不是常量的下標
4.8 if語句
4.9 switch語句
4.10 循環語句
4.11 方法
4.12 結構體類型
4.13 多個進程的△延遲
4.14 小結
4.15 練習
第5章 同步邏輯建模
5.1 觸發器建模
5.2 多個進程
5.3 帶異步預置位和清零的觸發器
5.4 帶同步預置位和清零的觸發器
5.5 多個時鐘與多相位時鐘
5.6 鎖存器建模
5.6.1 if語句
5.6.2 switch語句
5.6.3 避免產生鎖存器
5.7 小結
5.8 練習
第6章 其他邏輯
6.1 三態驅動器
6.2 多個驅動器
6.3 無關值處理
6.4 層次結構
6.5 模組的參數化
6.6 變數和信號的賦值
6.7 練習
第7章 建模示例
7.1 可參數化的三態輸出暫存器
7.2 存儲器模型
7.3 有限狀態機建模
7.3.1 Moore有限狀態機
7.3.2 Mealy有限狀態機
7.4 通用移位暫存器
7.5 計數器
7.5.1 模N計數器
7.5.2 詹森計數器
7.5.3 格雷碼可逆計數器
7.6 詹森解碼器
7.7 階乘模型
7.8 練習
第8章 測試平台
8.1 編寫測試平台
8.2 仿真控制
8.2.1 sc_clock
8.2.2 sc_trace
8.2.3 sc_start
8.2.4 sc_stop
8.2.5 sc_time_stamp
8.2.6 sc_simulation_time
8.2.7 sc_cycle和sc_initialize
8.2.8 sc_time
8.3 波形
8.3.1 任意波形
8.3.2 複雜的重複波形
8.3.3 派生時鐘的生成
8.3.4 從檔案中讀取激勵
8.3.5 反應式激勵
8.4 監聽行為
8.4.1 斷言正確的行為
8.4.2 將結果轉儲至文本檔案
8.5 其他示例
8.5.1 觸發器
8.5.2 同步輸出的多路選擇器
8.5.3 全加器
8.5.4 周期級仿真
8.6 sc_main函式內的語句次序
8.7 記錄聚合類型
8.8 練習
第9章 系統級建模
9.1 SC_THREAD型進程
9.2 動態敏感
9.3 構造函式的參數
9.4 其他示例
9.4.1 最大公因子
9.4.2 濾波器
9.5 連線埠、接口和信道
9.6 高級論題
9.6.1 共享數據成員
9.6.2 定點類型
9.6.3 模組
9.6.4 其他方法
9.7 仿真算法
9.8 練習
附錄 A 運行時環境
A.1 軟體安裝
A.2 編譯
A.3 仿真
A.4 調試
附錄B SystemC RTL：可綜合的子集
B.1 SystemC語言要素
B.2 C++語言要素
參考文獻
