01
验证的困境
为什么仿真越来越慢？芯片复杂度与验证时间的矛盾，传统仿真的瓶颈分析。
瓶颈复杂度
02
加速的哲学
仿真加速的三大流派（基于模型/硬件/算法），如何选择加速策略。
流派策略
03
TLM建模
事务级建模基础，TLM-2.0核心接口，如何用TLM提升仿真速度。
TLM-2.0事务级
04
DMI机制
直接内存接口原理，DMI在加速中的实战应用，避免DMI陷阱。
DMI内存
05
Loosely Timed模型
LT模型的设计哲学，时序与速度的权衡，何时使用LT模型。
LT时序
06
Approximately Timed模型
AT模型详解，AT-4与AT-1的区别，AT模型在验证中的典型用法。
AT精度
07
虚拟原型
什么是虚拟原型（Virtual Prototype），如何构建可执行虚拟平台，加速软件验证。
VP虚拟平台
08
QEMU集成
将QEMU与SystemC结合，快速指令仿真原理，混合仿真同步机制。
QEMU混合仿真
09
硬件加速仿真
基于FPGA的仿真加速器原理，Emulation与Simulation区别，代价与收益。
FPGAEmulation
10
多核并行仿真
SystemC多核支持，TLM-2.0并行性分析，编写线程安全的加速代码。
多核线程安全
11
事务级检查
在TLM层面进行断言检查，事务级覆盖率收集，加速验证收敛。
断言覆盖率
12
随机化与约束求解
约束求解器性能瓶颈，优化随机化测试生成，增量式约束求解。
约束随机化
13
覆盖率驱动加速
覆盖率导向仿真加速，跳过已覆盖验证空间，动态仿真缩减。
覆盖率动态缩减
14
形式化与仿真结合
形式化验证辅助仿真，Bounded Model Checking加速，混合验证流程。
形式化BMC
15
仿真数据压缩
波形压缩技术，事务级日志压缩，不丢失信息减少I/O。
压缩I/O
16
增量编译
SystemC/TLM增量编译技术，避免全量重编译，加速迭代周期。
增量编译
17
仿真快照与恢复
保存与恢复仿真状态，快照技术在长仿真中的应用，轻量级快照。
快照恢复
18
动态仿真控制
运行时调整仿真精度，动态切换LT/AT模型，自适应加速策略。
动态自适应
19
事务级功耗分析
在TLM层面估算功耗，功耗感知的仿真加速，避免功耗热点。
功耗TLM
20
性能分析工具
定位仿真瓶颈，gprof/valgrind分析SystemC代码，性能调优实战。
gprofvalgrind
21
内存优化
减少仿真内存拷贝，零拷贝技术，内存池与对象复用。
零拷贝内存池
22
通信优化
优化TLM通道通信，减少同步点，批量事务处理。
通道批量
23
仿真农场
构建分布式仿真集群，任务调度策略，大规模回归测试管理。
集群调度
24
回归测试加速
智能回归测试选择，基于变更影响的测试筛选，并行回归执行。
回归筛选
25
机器学习辅助加速
用ML预测仿真热点，自动调整加速参数，智能仿真缩减。
ML预测
26
UVM与TLM协同
UVM中的TLM加速技巧，寄存器模型加速，序列加速。
UVMTLM
27
RTL与TLM混合仿真
混合精度仿真策略，同步接口设计，跨域事务转换。
混合RTL
28
加速验证方法论
从项目规划考虑加速，团队协作实践，持续集成中的加速。
方法论CI
29
案例研究
一个SoC验证项目的加速实战，从慢如蜗牛到快如闪电的蜕变。
SoC实战
30
未来趋势
AI驱动的仿真加速，量子计算对验证的影响，下一代加速技术展望。
AI量子