第1章
NPU验证概述
NPU架构基础 · 验证挑战与特殊性 · 验证流程全景图
基础全景
第2章
验证计划制定
验证目标分解 · 功能点提取 · 覆盖率定义与优先级
计划覆盖率
第3章
验证环境搭建
UVM平台结构 · NPU agent设计 · scoreboard与reference model
UVM环境
第4章
激励生成策略
随机约束与定向测试 · 指令序列生成 · 张量数据流
激励随机
第5章
指令集验证
ISA验证 · 单指令功能 · 指令组合与流水线冲突
指令流水线
第6章
数据通路验证
加载/存储单元 · DMA传输 · 数据对齐与边界
通路DMA
第7章
计算单元验证
矩阵乘法 · 卷积计算 · 激活函数与池化
计算算子
第8章
控制逻辑验证
取指与译码 · 分支预测 · 中断与异常处理
控制异常
第9章
存储子系统验证
片上SRAM · 缓存一致性 · 内存管理单元(MMU)
存储MMU
第10章
互联与总线验证
NoC/总线协议 · 死锁与活锁 · QoS与带宽
互联NoC
第11章
功耗管理验证
时钟门控 · 电源域切换 · DVFS验证
功耗DVFS
第12章
安全机制验证
隔离机制 · 侧信道防护 · 安全启动与固件
安全隔离
第13章
性能验证
吞吐量测试 · 延迟测试 · 资源利用率分析
性能吞吐
第14章
随机验证方法
SystemVerilog随机化 · 定向随机 · 覆盖率驱动
随机SV
第15章
形式化验证
断言与属性检查 · 模型检验 · 等价性检查
形式化断言
第16章
仿真加速与原型验证
FPGA原型 · 仿真加速器 · 软硬件协同
加速FPGA
第17章
后仿真验证
时序仿真 · 门级仿真 · 功耗仿真
后仿时序
第18章
回归测试策略
回归集构建 · 自动化流程 · 失败用例分析
回归自动化
第19章
覆盖率收集与分析
代码覆盖率 · 功能覆盖率 · 翻转/交叉覆盖率
覆盖率分析
第20章
调试与定位
波形调试 · 日志分析 · 复现与隔离问题
调试波形
第21章
验证IP复用
VIP选型与集成 · 自定义VIP · 配置参数化
VIP复用
第22章
脚本与自动化
Makefile/Shell · Python框架 · CI/CD集成
脚本CI/CD
第23章
验证度量与报告
完成度度量 · 报告生成 · 评审流程
度量报告
第24章
AI框架与算子验证
ONNX/TensorFlow算子映射 · 精度对比 · 数值稳定性
AI框架算子
第25章
多核NPU验证
核间通信 · 任务调度 · 共享资源竞争
多核竞争
第26章
异构计算验证
CPU+NPU协同 · GPU+NPU混合 · Host驱动验证
异构协同
第27章
场景化验证
图像分类 · 目标检测 · NLP端到端验证
场景端到端
第28章
低功耗场景验证
待机唤醒 · 动态功耗管理 · 热管理
低功耗唤醒
第29章
可靠性验证
ECC校验 · 冗余设计 · 故障注入与容错
可靠性ECC
第30章
先进验证技术
机器学习辅助验证 · 仿真数据挖掘 · 验证智能体
AI验证智能体