SystemC電子系統(tǒng)級設(shè)計

第1章 前言
　1.1 為什么要發(fā)展新的設(shè)計和驗證語言
　1.2 SystemC的歷史
　1.3 SystemC的本質(zhì)
　1.4 SystemC的核心價值
　1.5 虛擬原型
　1.6 ESL設(shè)計流程
　1.7 事務處理級建模——ESL的關(guān)鍵
　1.8 一個“Hello，SystemC!”建模實例
　1.9 一個二輸入與非門建模實例
　1.10 本章小結(jié)
　1.11 習題
第2章 systemC基本語法
　2.1 從一個典型的SystemC設(shè)計開始
　2.2 SystemC頭文件
　2.3 模塊
　2.4 端口和信號
　2.5 SystemC時鐘和時間模型
　2.6 基本數(shù)據(jù)類型
　2.7 定點數(shù)據(jù)類型
　2.8 進 程
　2.9 仿真與波形跟蹤
　2.10 SystemC信息和差錯報告機制
　2.11 SystemC中的一些雜散內(nèi)容
　2.12 本章小結(jié)
　2.13 習 題
第3章 systemc行為建模語法
　3.1 什么是TLM
　3.2 TLM相關(guān)語法
　3.3 接口
　3.4 端口
　3.5 通道基礎(chǔ)
　3.6 基本通道
　3.7 分層通道
　3.8 動態(tài)創(chuàng)建進程
　3.9 系統(tǒng)建模中的分層模型
　3.10 SystemC的事務處理級建模初步
　3.11 通信細化
　3.12 本章小結(jié)
　3.13 習題
第4章 systemC事務處理級建模庫
　4.1 TLM2.0基本概念
　4.2 通用凈核類
　4.3 阻塞傳送接口
　4.4 非阻塞傳送接口
　4.5 直接存儲器接口
　4.6 調(diào)試傳送接口
　4.7 合并的傳送接口
　4.8 發(fā)起者和目標套接字
　4.9 預定義的套接字
　4.10 全局量子時間和量子看守者
　4.11 一個松散定時目標模塊建模實例
　4.12 本章小結(jié)
　4.13 習題
第5章 systemc驗證庫
　5.1 SystemC驗證庫概述
　5.2 常用術(shù)語
　5.3 基于事務的驗證
　5.4 數(shù)據(jù)內(nèi)查
　5.5 約束的隨機化
　5.6 變量和事務記錄
　5.7 SCV標準的其他內(nèi)容
　5.8 本章小結(jié)
　5.9 習題
第6章 systemc綜合
　6.1 基于C的高層次綜合
　6.2 SystemC行為綜合
　6.3 SystemC體系結(jié)構(gòu)綜合介紹
　6.4 SystemC優(yōu)化的進程陣列
　6.5 基于SOTA的SystemC體系結(jié)構(gòu)綜合
　6.6 SystemC體系結(jié)構(gòu)綜合案例
　6.7 本章小結(jié)
　6.8 習題
第7章 systomc定點數(shù)據(jù)類型
　7.1 定點數(shù)據(jù)的量化模式介紹
　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 定點數(shù)據(jù)的溢出模式
　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 定點數(shù)據(jù)類型支持的運算符
　7.16 定點數(shù)據(jù)類型的狀態(tài)信息
　7.17 將定點數(shù)據(jù)類型轉(zhuǎn)換為字符串
　7.18 一個定點FIR濾波器設(shè)計實例
　7.19 本章小結(jié)
　7.20 習題
第8章 systemC應用實例
　8.1 回到“Hello，SystemC”
　8.2 串口原理
　8.3 串口寄存器定義
　8.4 Wishbone總線簡介
　8.5 處理器的電子系統(tǒng)級總線功能模型
　8.6 串口的設(shè)計
　8.7 SystemC和Verilog混合仿真
　8.8 本章小結(jié)
　8.9 習題