內容簡介
本書重點講述了IEEE P1666-2005 systemC語法（模組、連線埠、信號、進程、基本數據類型、定點數據類型、波形跟蹤、接口、連線埠、導出連線埠和通道、動態進程）、事務處理級建模庫TLM 2．0（TLM2．o核心接口、發起者和目標套接字、通用淨核和基礎協定、實用工具、分析接口和連線埠）、驗證庫1．0（SystemC的驗證庫，包括驗證思想、基於事務的驗證方法、隨機化、約束的隨機數的產生、加權隨機數產生）和SystemC的電子系統級綜合技術（算法綜合、SystemC行為綜合和SystemC體系結構綜合），並給出了SystemC的套用實例。
本書可作為電子工程技術人員學習SystemC設計、套用、開發的技術參考書，也可供高等院校電子及其相關專業的廣大師生閱讀。
目錄
第1章 前言
1.1 為什麼要發展新的設計和驗證語言
1.2 SystemC的歷史
1.3 SystemC的本質
1.4 SystemC的核心價值
1.5 虛擬原型
1.6 ESL設計流程
1.7 事務處理級建模——ESL的關鍵
1.8 一個“Hello，SystemC!”建模實例
1.9 一個二輸入與非門建模實例
1.10 本章小結
1.11 習題
第2章 systemC基本語法
2.1 從一個典型的SystemC設計開始
2.2 SystemC頭檔案
2.3 模組
2.4 連線埠和信號
2.5 SystemC時鐘和時間模型
2.6 基本數據類型
2.7 定點數據類型
2.8 進 程
2.9 仿真與波形跟蹤
2.10 SystemC信息和差錯報告機制
2.11 SystemC中的一些雜散內容
2.12 本章小結
2.13 習 題
第3章 systemc行為建模語法
3.1 什麼是TLM
3.2 TLM相關語法
3.3 接口
3.4 連線埠
3.5 通道基礎
3.6 基本通道
3.7 分層通道
3.8 動態創建進程
3.9 系統建模中的分層模型
3.10 SystemC的事務處理級建模初步
3.11 通信細化
3.12 本章小結
3.13 習題
第4章 systemC事務處理級建模庫
4.1 TLM2.0基本概念
4.2 通用淨核類
4.3 阻塞傳送接口
4.4 非阻塞傳送接口
4.5 直接存儲器接口
4.6 調試傳送接口
4.7 合併的傳送接口
4.8 發起者和目標套接字
4.9 預定義的套接字
4.10 全局量子時間和量子看守者
4.11 一個鬆散定時目標模組建模實例
4.12 本章小結
4.13 習題
第5章 systemc驗證庫
5.1 SystemC驗證庫概述
5.2 常用術語
5.3 基於事務的驗證
5.4 數據內查
5.5 約束的隨機化
5.6 變數和事務記錄
5.7 SCV標準的其他內容
5.8 本章小結
5.9 習題
第6章 systemc綜合
6.1 基於C的高層次綜合
6.2 SystemC行為綜合
6.3 SystemC體系結構綜合介紹
6.4 SystemC最佳化的進程陣列
6.5 基於SOTA的SystemC體系結構綜合
6.6 SystemC體系結構綜合案例
6.7 本章小結
6.8 習題
第7章 systomc定點數據類型
7.1 定點數據的量化模式介紹
7.2 量化模式SC_RND
7.3 量化模式SC_RND_ZERO
7.4 量化模式SC_RND_MIN_INF
7.5 量化模式SC_RND_INF
7.6 量化模式SC_RND_CONV
7.7 量化模式SC_TRN
7.8 量化模式SC_TRN_ZERO
7.9 定點數據的溢出模式
7.10 溢出模式SC_SAT
7.11 溢出模式SC_SAT_ZERO
7.12 溢出模式SC_SAT_SYM
7.13 溢出模式SC WRAP
7.14 溢出模式SC WRAP SM
7.15 定點數據類型支持的運算符
7.16 定點數據類型的狀態信息
7.17 將定點數據類型轉換為字元串
7.18 一個定點FIR濾波器設計實例
7.19 本章小結
7.20 習題
第8章 systemC套用實例
8.1 回到“Hello，SystemC”
8.2 串口原理
8.3 串口暫存器定義
8.4wishbone匯流排簡介
8.5 處理器的電子系統級匯流排功能模型
8.6 串口的設計
8.7 SystemC和Verilog混合仿真
8.8 本章小結
8.9 習題
