VIP20

本课程属于：034-验证环境搭建 芯片设计与FPGA · 共 20 门相关课程，组合学习更完整。

查看所属VIP全部课程 →

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

SVA断言驱动芯片功能验证

📚 共计 30 章节

什么是断言？断言在验证中的角色，断言与检查器的区别。

核心概念入门

SVA语法入门

SVA的基本结构，序列(sequence)与属性(property)的概念。

立即断言的使用场景，$asserton/$assertoff/$assertkill控制。

并发断言与立即断言的区别，并发断言在时钟边沿的采样。

序列操作符

基本序列操作符（##, [*n], [->n], [=n]）的使用。

操作符序列

property的定义与调用，蕴含操作符(|->, |=>)的用法。

断言中的函数

$rose, $fell, $stable, $past, $sampled等系统函数。

系统函数采样

断言中的局部变量

在序列和属性中使用局部变量，数据捕获与传递。

局部变量捕获

断言中的方法

$onehot, $onehot0, $isunknown, $countones等。

方法系统函数

断言中的时钟

多时钟域断言，时钟门控对断言的影响。

时钟域门控

断言中的复位

异步复位与同步复位对断言的影响，disable iff的使用。

复位disable iff

bind语句的使用，将断言绑定到设计模块。

bind模块绑定

断言覆盖率

cover property的使用，断言覆盖率收集与分析。

断言层次化

多层断言结构，断言复用与封装。

层次化复用

断言失败的调试技巧，波形分析与断言关联。

断言与功能覆盖

断言与covergroup的结合，功能覆盖点的断言化。

covergroup功能覆盖

断言在UVM中的应用

UVM中的断言集成，uvm_assertion_handler。

断言在SoC验证中的应用

总线协议断言，AXI/APB协议断言示例。

断言在低功耗验证中的应用

电源域切换断言，隔离单元断言。

低功耗电源域

断言在DFT验证中的应用

扫描链断言，BIST断言。

DFT扫描链BIST

断言在形式验证中的应用

形式验证中的断言，属性证明与反例。

形式验证证明

断言在仿真加速中的应用

仿真加速器中的断言支持，断言编译优化。

加速编译优化

断言在回归测试中的应用

回归测试中的断言管理，断言开关控制。

回归开关控制

断言在IP验证中的应用

IP级断言开发，断言接口标准化。

断言在系统级验证中的应用

系统级断言，跨芯片断言。

系统级跨芯片

断言性能优化

断言对仿真性能的影响，断言优化技巧。

断言库开发

通用断言库设计，断言参数化与配置。

断言库参数化

断言自动化

断言自动生成工具，从规范到断言的自动转换。

自动化生成

断言标准与规范

IEEE 1800标准中的断言章节，企业断言编码规范。

标准IEEE 1800

断言验证方法论总结

断言驱动的验证流程，断言在验证计划中的角色。

方法论流程