VIP20
本课程属于：046-数字IC形式化验证与EDA验证 芯片设计与FPGA · 共 20 门相关课程，组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录 咨询 / 购买

SystemVerilog Assertion（SVA）属性验证开发实战

共计 30 章节
点击此处阅读海量试读课程：100+行业、1000+细分领域
01
数字验证与断言方法概述
核心概念 · 原理机制 · 实战要点
数字验证断言方法概述
02
SystemVerilog 断言语言体系与 SVA 定位
核心概念 · 原理机制 · 实战要点
SystemVerilo…SVA
03
SVA 仿真调度与采样机制
核心概念 · 原理机制 · 实战要点
SVA仿真调度
04
SVA 工程环境搭建与工具集成
核心概念 · 原理机制 · 实战要点
SVA工程环境搭建
05
并发断言与立即断言区分
核心概念 · 原理机制 · 实战要点
并发断言立即断言区分
06
sequence 序列与事件匹配原理
核心概念 · 原理机制 · 实战要点
sequence序列
07
序列操作符与时间窗口控制
核心概念 · 原理机制 · 实战要点
序列操作符时间窗口控制
08
property 属性与蕴含操作符
核心概念 · 原理机制 · 实战要点
property属性
09
边沿检测与 $rose/$fell/$stable
核心概念 · 原理机制 · 实战要点
rosefell
10
局部变量与数据传递
核心概念 · 原理机制 · 实战要点
局部变量数据传递
11
系统函数与内建断言函数
核心概念 · 原理机制 · 实战要点
系统函数内建断言函数
12
多时钟域与跨时钟域断言
核心概念 · 原理机制 · 实战要点
多时钟域跨时钟域断言
13
bind 绑定与验证环境集成
核心概念 · 原理机制 · 实战要点
bind绑定
14
参数化断言与宏定义复用
核心概念 · 原理机制 · 实战要点
参数化断言宏定义复用
15
interface 与模块内嵌断言
核心概念 · 原理机制 · 实战要点
interface模块内嵌断言
16
cover property 与功能覆盖率建模
核心概念 · 原理机制 · 实战要点
coverproperty
17
assume property 与形式化约束
核心概念 · 原理机制 · 实战要点
assumeproperty
18
expect 语句与动态控制
核心概念 · 原理机制 · 实战要点
expect语句
19
断言错误报告与调试流程
核心概念 · 原理机制 · 实战要点
断言错误报告调试流程
20
状态机验证与断言建模
核心概念 · 原理机制 · 实战要点
状态机验证断言建模
21
总线协议 SVA 检查实践
核心概念 · 原理机制 · 实战要点
SVA总线协议
22
握手协议与 FIFO 验证
核心概念 · 原理机制 · 实战要点
FIFO握手协议
23
流水线与乱序执行断言
核心概念 · 原理机制 · 实战要点
流水线乱序执行断言
24
复位、时钟门控与低功耗断言
核心概念 · 原理机制 · 实战要点
复位时钟门控
25
SVA 断言重用与验证 IP
核心概念 · 原理机制 · 实战要点
SVAIP
26
覆盖率驱动断言收敛策略
核心概念 · 原理机制 · 实战要点
覆盖率驱动断言收…核心概念
27
形式化验证与 SVA 流程
核心概念 · 原理机制 · 实战要点
SVA形式化验证
28
SVA 性能优化与资源控制
核心概念 · 原理机制 · 实战要点
SVA性能优化
29
SVA 常见错误模式与排查清单
核心概念 · 原理机制 · 实战要点
SVA常见错误模式
30
SVA 团队规范与课程实战总结
核心概念 · 原理机制 · 实战要点
SVA团队规范