首页
›
芯片设计与FPGA
›
046-数字IC形式化验证与EDA验证
›
《数字前端RTL验证工程师实战》
VIP20
本课程属于:046-数字IC形式化验证与EDA验证
芯片设计与FPGA · 共 20 门相关课程,组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录
咨询 / 购买
📘
数字前端RTL验证工程师实战
共计 30 章节
点击此处阅读海量试读课程:100+行业、1000+细分领域
01
验证工程师的角色与RTL验证全景
核心概念 · 原理机制 · 实战要点
RTL
验证工程师的角色
02
数字芯片研发流程与RTL验证里程碑
核心概念 · 原理机制 · 实战要点
RTL
数字芯片研发流程
03
验证计划与验证策略制定
核心概念 · 原理机制 · 实战要点
验证计划
验证策略制定
04
Verilog RTL可综合性基础与可验证设计
核心概念 · 原理机制 · 实战要点
Verilog
RTL
05
SystemVerilog测试平台特性与数据类型
核心概念 · 原理机制 · 实战要点
SystemVerilo…
测试平台特性
06
事件驱动仿真原理与仿真工具操作
核心概念 · 原理机制 · 实战要点
事件驱动仿真原理
仿真工具操作
07
Testbench架构与模块划分
核心概念 · 原理机制 · 实战要点
Testbench
架构
08
时钟复位与接口信号激励生成
核心概念 · 原理机制 · 实战要点
时钟复位
接口信号激励生成
09
直接测试与定向用例设计
核心概念 · 原理机制 · 实战要点
直接测试
定向用例设计
10
约束随机验证与随机化策略
核心概念 · 原理机制 · 实战要点
约束随机验证
随机化策略
11
功能覆盖率与代码覆盖率建模
核心概念 · 原理机制 · 实战要点
功能覆盖率
代码覆盖率建模
12
事务级建模与BFM/Driver设计
核心概念 · 原理机制 · 实战要点
BFM/Driver
事务级建模
13
SVA断言验证与并发断言机制
核心概念 · 原理机制 · 实战要点
SVA
断言验证
14
UVM体系架构与phase机制
核心概念 · 原理机制 · 实战要点
UVM
phase
15
UVM序列机制与sequence item流水线
核心概念 · 原理机制 · 实战要点
UVM
sequence
16
UVM寄存器层与RAL模型应用
核心概念 · 原理机制 · 实战要点
UVM
RAL
17
UVM环境集成与testcase扩展
核心概念 · 原理机制 · 实战要点
UVM
testcase
18
可复用验证IP与层次化环境搭建
核心概念 · 原理机制 · 实战要点
IP
可复用验证
19
AMBA AXI协议功能验证与VIP使用
核心概念 · 原理机制 · 实战要点
AMBA
AXI
20
SPI/I2C/UART接口验证与协议检查
核心概念 · 原理机制 · 实战要点
SPI/I2C/UART
接口验证
21
跨时钟域验证与同步器检查
核心概念 · 原理机制 · 实战要点
跨时钟域验证
同步器检查
22
低功耗验证与UPF流程
核心概念 · 原理机制 · 实战要点
UPF
低功耗验证
23
形式验证基础与等价性检查
核心概念 · 原理机制 · 实战要点
形式验证基础
等价性检查
24
并发断言形式化验证与覆盖率收敛
核心概念 · 原理机制 · 实战要点
并发断言形式化验…
覆盖率收敛
25
仿真回归管理与失败用例分析
核心概念 · 原理机制 · 实战要点
仿真回归管理
失败用例分析
26
覆盖率收敛与验证完备性评估
核心概念 · 原理机制 · 实战要点
覆盖率收敛
验证完备性评估
27
验证自动化脚本与CI回归流程
核心概念 · 原理机制 · 实战要点
CI
验证自动化脚本
28
验证交付标准与sign-off检查
核心概念 · 原理机制 · 实战要点
sign-off
验证交付标准
29
项目实战
从设计规格到验证计划落地:核心概念 · 原理机制 · 实战要点
项目实战
从设计规格到验证…
30
项目复盘
SoC子系统验证环境与交付案例 · 原理机制 · 实战要点
项目复盘
SoC
所属VIP或分类
同VIP:AI芯片与SoC形式化验证方法
同VIP:Cadence-JasperGold形式化验证实战教程
同VIP:CDC跨时钟域形式化验证实战