01
ESL方法概述
ESL设计方法学 · 软硬件协同验证角色 · 与传统RTL对比
基础概念
02
系统建模语言基础
SystemC TLM-2.0 · 事务级建模 · 接口与通道抽象
SystemCTLM
03
虚拟平台构建
虚拟原型 · 处理器/总线模型集成 · 外设封装挂载
平台集成
04
软硬件接口定义
AMBA AXI/AHB · RTL与TLM桥接 · 中断/DMA建模
协议桥接
05
验证计划与覆盖率
场景验证计划 · 功能覆盖率定义 · 覆盖率驱动流程
覆盖率计划
06
TLM通信机制
阻塞/非阻塞传输 · DMI接口 · 传输属性与时间标记
通信TLM
07
调试与波形分析
printf/SC_REPORT · 事务波形 · 与RTL联合调试
调试波形
08
性能分析
系统吞吐量 · 总线带宽/延迟 · 处理器负载均衡
性能分析
09
功耗建模与评估
SystemC功耗扩展 · 活动因子估算 · 功耗/性能权衡
功耗建模
10
硬件加速仿真
ESL与Emulator协同 · TLM到RTL混合仿真 · 时钟域处理
加速混合
11
软件提前开发
虚拟平台固件 · RTOS/Linux移植 · 驱动程序验证
软件提前
12
断言与属性检查
SystemC断言(SCV) · 事务级断言 · 属性检查应用
断言SCV
13
随机化验证
约束随机测试 · SCV随机化库 · 接口协议验证实践
随机约束
14
形式化验证入门
ESL形式化 · PSL/SVA在TLM层 · 模型/等价性检查
形式化属性
15
回归测试与自动化
回归框架 · Python/Perl脚本 · CI集成
自动化CI
16
多核系统验证
多核同步/通信 · 缓存一致性 · 死锁检测
多核一致性
17
异构计算验证
GPU/DSP/NPU集成 · 数据流验证 · 内存一致性
异构加速器
18
安全验证
安全启动 · 侧信道建模 · TrustZone/HSM验证
安全隔离
19
实时系统验证
RTOS行为建模 · 中断响应 · 优先级反转检测
实时RTOS
20
网络与通信验证
Ethernet/CAN/PCIe TLM · 协议栈 · 延迟吞吐量
网络协议
21
存储子系统验证
DDR/LPDDR模型 · 地址转换 · 带宽/延迟分析
存储DDR
22
时钟与复位验证
CDC建模 · 复位序列 · 低功耗时钟门控
时钟复位
23
DFT可测试性验证
扫描链ESL · BIST流程 · 测试模式接口行为
DFT测试
24
模拟与混合信号接口
ADC/DAC TLM · Verilog-AMS协同 · 混合时序
混合信号AMS
25
基于UVM的ESL验证
UVM-SystemC · TLM序列器/驱动器 · 测试平台复用
UVM框架
26
场景生成与仿真加速
复杂场景TLM生成 · 采样/抽象加速 · 大数据量验证
场景加速
27
覆盖率驱动的验证收敛
交叉覆盖率 · 空洞分析 · 自动生成测试
收敛覆盖率
28
验证管理
VPlan映射 · Metrics收集 · 团队协作版本管理
管理度量
29
工业案例
AI芯片ESL · ISO 26262 · 5G基带协同验证
案例工业
30
未来趋势
ESL与数字孪生 · AI辅助验证 · 开源工具链
趋势前沿