SystemC多核建模与一致性分析

📚 共计 30 章节
01
SystemC概述
发展历史 · 与SystemVerilog对比 · 应用领域
SoC建模虚拟原型性能分析
02
SystemC开发环境搭建
安装库 · CMake工程 · Hello World · 编译仿真
LinuxWindowsCMake
03
SystemC核心概念
SC_MODULE · 端口 · 通道 · 进程 · 时钟
SC_THREADSC_METHODsc_clock
04
SystemC数据类型
sc_int/sc_uint · sc_bigint · sc_logic · 定点数
sc_lvsc_fixed自定义
05
SystemC时间模型
sc_time · 时间精度 · delta循环 · 事件驱动
仿真内核时间推进
06
SystemC通信原语
sc_fifo · sc_signal · sc_buffer · 互斥/信号量
同步FIFOsc_mutexsc_semaphore
07
事务级建模 (TLM)
TLM-2.0 · generic_payload · socket · 阻塞/非阻塞
事务级套接字
08
TLM-2.0高级特性
DMI · 调试传输 · 原子操作 · 时序注释
延迟标注直接内存
09
多核架构基础
同构/异构 · 共享/分布式内存 · 缓存一致性
MESIMOESI
10
多核建模需求分析
性能瓶颈 · 并行度提取 · 任务映射 · 通信开销
调度建模
11
SystemC多核建模框架
多模块实例化 · SC_THREAD · 并行调度 · 拓扑
多线程仿真
12
共享内存建模
共享控制器 · 原子访问 · 内存一致性模型
SC/TSO/PSOsc_signal_resolved
13
缓存一致性协议建模 (MESI)
状态机 · 总线嗅探 · 缓存行转换 · 验证
MESIBus Snooping
14
缓存一致性协议建模 (MOESI)
Owned状态 · 协议对比 · 性能评估
MOESI状态扩展
15
目录式一致性协议建模
目录结构 · 点对点通信 · 对比嗅探协议
目录协议格式
16
一致性协议验证方法
形式化验证 · 状态空间爆炸 · 随机测试 · 断言
SystemC Assertion
17
SystemC验证环境搭建
Driver/Monitor/Scoreboard · 事务级验证 · 覆盖率
回归测试验证组件
18
多核性能分析指标
吞吐量 · 延迟 · 加速比 · Amdahl定律 · 可扩展性
效率指标
19
SystemC性能分析工具
仿真时间统计 · 事件追踪 · 瓶颈识别 · sc_trace
可视化sc_report
20
多核系统死锁与活锁
Coffman条件 · 死锁检测 · 避免策略 · 饥饿
活锁死锁避免
21
内存序与栅栏
内存屏障 · 获取-释放 · 顺序一致性 · sc_fence
栅栏建模原子语义
22
多核中断与同步
中断控制器 · IPI · 自旋锁 · 读写锁
SpinlockRWLock
23
多核缓存架构建模
私有/共享缓存 · 容量关联度 · 替换策略 · 分区
LRURandom
24
多核互连网络建模
总线 · 环形 · 网格 · 交叉开关 · 拓扑选择
MeshRingCrossbar
25
片上网络 (NoC) 建模
NoC架构 · XY路由 · 流控 · 性能评估
自适应路由流控
26
多核功耗建模
动态/静态功耗 · P-State/C-State · DVFS · 调度
功耗感知状态机
27
虚拟原型与快速仿真
虚拟平台 · ISS · 时序调优 · TLM时序校准
仿真加速快速原型
28
多核系统调试技术
GDB集成 · VCD/FSDB · 日志分级 · 断点单步
波形查看调试器
29
案例实战:双核Cache一致性系统
架构设计 · 模块划分 · 协议实现 · 仿真验证
双核MESI性能分析
30
案例实战:四核NoC多核系统
NoC拓扑 · 路由实现 · 一致性集成 · 全系统仿真
四核Mesh结果分析