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.4 Wishbone总线简介
　8.5 处理器的电子系统级总线功能模型
　8.6 串口的设计
　8.7 SystemC和Verilog混合仿真
　8.8 本章小结
　8.9 习题