VIP20

本课程属于：016-Verilog 芯片设计与FPGA · 共 20 门相关课程，组合学习更完整。

查看所属VIP全部课程 →

← 返回所属目录咨询 / 购买

FPGA功能覆盖与验证方法

📚 共计 30 章节

验证方法论概述

功能覆盖的概念、验证的重要性、验证在FPGA开发流程中的位置。

验证计划制定

如何编写验证计划、验证目标分解、功能点提取方法。

SystemVerilog断言基础

立即断言、并发断言、断言的应用场景。

蕴含操作符、序列与属性、多时钟域断言。

功能覆盖组

covergroup的定义、覆盖点与交叉覆盖、仓(bin)的配置。

覆盖模型设计

状态机覆盖、数据通路覆盖、协议覆盖。

随机化验证

随机激励生成、约束求解器、随机化与覆盖率的结合。

直接测试与定向测试

手动编写测试用例、边界值测试、异常测试。

UVM验证平台入门

UVM架构概述、uvm_component与uvm_object、phase机制。

UVM序列与驱动

sequence、sequencer、driver的交互、事务级建模。

UVM监视器与代理

monitor、agent、覆盖率收集在UVM中的实现。

监视器代理

scoreboard的设计、数据比较与错误报告。

记分板比较

UVM环境集成

env的搭建、test层与config机制。

回归测试策略、自动化脚本、回归测试结果分析。

回归自动化

覆盖率驱动的验证

覆盖率闭环、覆盖率收敛技巧、如何分析未覆盖点。

代码覆盖率

行覆盖、条件覆盖、分支覆盖、状态机覆盖。

功能覆盖率

功能覆盖点的定义、覆盖率数据库管理。

功能数据库

断言覆盖率

断言触发率、断言密度与验证质量。

跨时钟域验证

CDC问题、同步器验证、CDC覆盖模型。

形式化验证入门

形式化验证与动态验证的区别、属性检查。

形式化属性

仿真调试技巧

波形分析、日志管理、断点与触发条件。

吞吐量测试、延迟测量、资源利用率验证。

低功耗验证

功耗管理策略、时钟门控验证、功耗序列。

低功耗门控

IP集成测试、参数化配置验证、接口兼容性检查。

硬件加速仿真

emulation基础、硬件加速环境搭建、性能调优。

加速emulation

验证度量指标

验证完成度评估、逃逸率分析、验证效率提升。

脚本自动化

Tcl/Python在验证中的应用、仿真流程自动化、报告生成。

版本管理与协同

Git在验证中的应用、验证IP管理、团队协作流程。

验证文档撰写

验证报告、覆盖率报告、问题追踪文档。

综合案例实战

一个完整FPGA项目的验证流程、从计划到签收的全过程。