01
车规SoC验证概述
什么是车规SoC？车规验证与消费电子验证的区别，ISO 26262功能安全标准简介，系统级验证（SV）在整个芯片开发流程中的位置。
车规基础ISO 26262
02
验证策略与计划制定
如何制定验证策略（Test Strategy），验证计划（Verification Plan）的撰写要点，验证指标（Coverage, KPI）的定义，资源与时间估算。
策略计划KPI
03
验证环境架构（TB）
UVM基础回顾，车规SoC的Testbench层次结构（模块级、子系统级、芯片级），可重用性设计原则，寄存器模型（RAL）的配置。
UVMTBRAL
04
激励生成与约束随机
SystemVerilog约束随机化基础，面向车规场景的约束（如CAN/LIN/Ethernet协议包），功能覆盖率驱动的随机测试生成。
约束随机CAN/LIN
05
断言与属性检查（SVA）
SystemVerilog Assertion（SVA）基础，在车规验证中如何使用断言检查协议时序，断言覆盖率与功能覆盖率的结合。
SVA断言时序
06
覆盖率驱动验证（CDV）
功能覆盖点的定义与分组，交叉覆盖率（Cross Coverage）在SoC互联验证中的应用，覆盖率收敛策略与关闭标准。
CDV交叉覆盖率
07
低功耗验证（Low Power）
UPF/CPF基础，车规SoC的低功耗模式（Sleep, Deep Sleep, Active），功耗状态转换的验证，低功耗仿真的调试技巧。
UPF低功耗Sleep
08
形式化验证（Formal）
形式化验证基础（Model Checking, Property Checking），在车规SoC中适合做形式化的场景（如仲裁器、FIFO），工具使用（如JasperGold, VC Formal）。
FormalModel Checking
09
仿真加速与原型验证
仿真加速器（Emulator）的使用场景，FPGA原型验证，软硬件协同验证（HW/SW Co-Verification），如何在车规项目中平衡仿真速度与精度。
EmulatorFPGA协同验证
10
门级仿真（Gate-Level）
门级仿真（GLS）的目的，SDF反标与时序检查，X态传播问题，GLS在车规芯片sign-off中的必要性。
GLSSDFX态
11
静态时序分析（STA）与验证
STA基础概念，建立时间与保持时间，时序约束（SDC）的编写，STA与动态仿真的互补关系。
STASDC时序
12
DFT验证（可测试性设计）
Scan Chain, MBIST, JTAG的验证，DFT测试向量的生成与仿真，车规芯片对DFT覆盖率的要求。
DFTMBISTJTAG
13
功能安全验证（FuSa）
ISO 26262 ASIL等级（A/B/C/D）对验证的影响，故障注入（Fault Injection）方法，安全机制（如ECC, Lockstep）的验证。
FuSaASIL故障注入
14
复位与时钟验证
复位信号（POR, WDT）的验证，时钟生成与分频（PLL, OSC）的验证，时钟域交叉（CDC）的静态检查与动态仿真。
复位时钟CDC
15
片上互联验证（NoC/Bus）
AMBA总线协议（AXI, AHB, APB）验证，NoC（Network on Chip）的带宽与延迟验证，一致性（Coherency）验证。
AMBANoC一致性
16
外设接口验证（I/O）
UART, SPI, I2C, CAN, LIN, Ethernet等接口的验证，协议一致性测试，电气特性与时序的仿真。
UARTCANEthernet
17
内存子系统验证
SRAM, DRAM控制器验证，Cache一致性验证，内存映射与地址译码验证，ECC功能验证。
SRAMDRAMECC
18
DMA与中断验证
DMA控制器验证（描述符链、传输模式），中断控制器（GIC, NVIC）验证，中断优先级与嵌套测试。
DMA中断GIC
19
安全启动与信任根验证
安全启动流程（Boot ROM, Boot Loader），信任根（RoT）的验证，加密引擎（AES, RSA, SHA）的仿真。
安全启动RoT加密
20
虚拟化与多核验证
ARM TrustZone, Hypervisor的验证，多核同步与通信（MPI, Shared Memory），缓存一致性协议（MESI, MOESI）验证。
虚拟化多核MESI
21
性能验证（Performance）
SoC性能模型（Performance Model）的建立，带宽与延迟的测量，性能瓶颈分析与优化。
性能模型带宽延迟
22
功耗验证（Power Analysis）
功耗仿真工具（如PrimePower, RedHawk），动态功耗与静态功耗分析，功耗优化验证。
功耗分析PrimePower
23
后仿真与Sign-off
后仿真（Post-layout Simulation）流程，寄生参数提取（RC Extraction），Sign-off检查清单（Checklist）。
后仿真Sign-off
24
回归测试与自动化
回归测试（Regression）的搭建与管理，自动化脚本（Makefile, Python），持续集成（CI）在验证中的应用。
回归CI自动化
25
Bug管理与追溯
Bug数据库（如Jira, Bugzilla）的使用，Bug分类与优先级，Bug追溯与Root Cause分析。
BugJira追溯
26
验证报告与评审
验证报告（Verification Report）的撰写，覆盖率报告解读，技术评审（Technical Review）流程。
报告评审覆盖率
27
车规认证与审计
ISO 26262认证流程，第三方审计（Audit）的准备，文档与证据链的整理。
认证审计ISO 26262
28
工具与流程管理
EDA工具链（Synopsys, Cadence, Mentor）的使用，License管理，流程自动化与效率提升。
EDA流程License
29
团队协作与沟通
验证团队与设计团队的协作，跨地域团队沟通技巧，敏捷验证方法论。
协作敏捷沟通
30
案例分析与实战
一个完整的车规SoC验证案例（从计划到Sign-off），常见问题与解决方案，经验总结与未来趋势。
实战案例Sign-off