VIP20

本课程属于：217-Cadence Xcelium与Jasper验证工程 芯片硬件与光电工程 · 共 20 门相关课程，组合学习更完整。

查看所属VIP全部课程 →

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

Xcelium断言与覆盖率驱动验证

共计 30 章节

可可资料掘金营 · 点击在线试看

Xcelium验证环境概览

目标=认识Xcelium平台 · 断言与覆盖率驱动验证在数字IC验证中… · 课程整体学习路径与工具准备

Xcelium验证环境概览

SVA断言基础语法

目标=掌握序列 · 属性 · 蕴含操作符

SVA断言基础语法

并发断言与即时断言

目标=区分assert · assume · cover

并发断言即时断言

断言中的时序与序列操作

目标=使用## · throughout · within

断言复用与参数化

目标=利用sequence · property · module

断言复用参数化

Xcelium断言调试与波形分析

目标=使用SimVision查看断言… · 失败原因 · 覆盖信息

Xcelium断言调试

功能覆盖率基础

目标=理解covergroup · coverpoint · bins

功能覆盖率基础covergroup

覆盖点与交叉覆盖设计

目标=设计合理的bins划分 · ignore_bins · illegal_bins

覆盖点交叉覆盖设计

覆盖率驱动验证流程

目标=从覆盖率目标出发 · 规划激励 · 运行仿真

覆盖率驱动验证流…目标=从覆盖率目…

断言与覆盖率的协同

目标=将SVA cover属性与功能… · 实现基于断言的覆盖收集与激励反馈

断言覆盖率的协同

Xcelium覆盖率数据库与报告

目标=使用IMC查看覆盖率 · 合并多次运行 · 生成覆盖率报告并分析未覆盖项

Xcelium覆盖率数据库

基于断言的验证IP开发

目标=封装协议断言为可复用VIP · 在Xcelium中集成并验证一个AX…

IP基于断言的验证

形式化属性检查入门

目标=在Xcelium中结合Jasp… · 对关键断言进行形式化证明与反例分析

形式化属性检查入…Xcelium

覆盖率收敛策略

目标=制定覆盖率收敛计划 · 使用覆盖率驱动激励生成 · 随机约束与定向测试填补覆盖漏洞

覆盖率收敛策略目标=制定覆盖率…

断言覆盖率与代码覆盖率关联

目标=分析断言覆盖与行覆盖 · 翻转覆盖 · 条件覆盖的关系

断言覆盖率代码覆盖率关联

Xcelium中UVM与断言集成

目标=在UVM验证平台中嵌入SVA · 使用uvm_report_serve… · 收集覆盖率

多时钟域断言设计

目标=处理跨时钟域断言 · 时钟同步 · 采样误差

多时钟域断言设计目标=处理跨时钟…

低功耗断言与覆盖率

目标=针对电源域 · 隔离 · 保持

低功耗断言覆盖率

断言性能优化

目标=减少断言仿真开销 · 优化序列匹配 · 使用Xcelium编译选项提升断言执…

断言性能优化目标=减少断言仿…

覆盖率驱动的激励随机化

目标=结合约束随机与覆盖率反馈 · 使用Xcelium的covergro…

覆盖率驱动的激励…目标=结合约束随…

断言与覆盖率在回归测试中的应用

目标=搭建回归框架 · 自动收集断言失败与覆盖率 · 生成趋势报告

断言覆盖率

Xcelium断言与覆盖率调试技巧

目标=使用断点 · 断言日志 · 覆盖率调试命令快速定位问题

基于断言的验证计划编写

目标=从设计规范提取断言与覆盖点 · 编写可追踪的验证计划并映射到Xcel…

基于断言的验证计…目标=从设计规范…

复杂协议断言实战

目标=为PCIe或USB等复杂协议编… · 分析覆盖漏洞

复杂协议断言实战PCIe

覆盖率模型评审与优化

目标=评审覆盖率模型完整性 · 冗余性 · 优化bins与cross提升验证效率

覆盖率模型评审优化

Xcelium与Python/脚本自动化

目标=使用脚本自动生成断言模板 · 解析覆盖率报告 · 驱动回归

断言与覆盖率在FPGA原型验证中的考量

目标=在Xcelium中仿真后移植到… · 处理断言与覆盖率的可综合性

功能安全中的断言与覆盖率

目标=针对ISO 26262等标准 · 使用断言与覆盖率证明安全机制有效性

功能安全断言

Xcelium断言与覆盖率项目实战

目标=从零搭建一个模块级验证环境 · 完成断言编写 · 覆盖率收集与收敛

课程总结与前沿展望

目标=回顾断言与覆盖率驱动验证最佳实… · 探讨AI辅助覆盖率收敛 · 云原生验证等趋势

课程总结前沿展望