VIP20

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

查看所属VIP全部课程 →

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

Cadence Jasper形式验证体系建设

共计 30 章节

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

课程导入与体系全景

目标=理解Cadence Jaspe… · 核心价值 · 学习路径与最终交付物

课程导入体系全景

形式验证基础与Jasper工具链

目标=掌握形式验证基本原理 · Jasper产品家族 · 许可证与运行环境配置

Jasper形式验证基础

Jasper用户界面与工程管理

目标=熟悉Jasper Apps界面 · 项目创建 · 文件组织

Jasper用户界面

属性描述语言SVA与PSL

目标=掌握SVA/PSL语法 · 序列 · 属性

设计建模与RTL准备

目标=学习为形式验证准备RTL · 处理黑盒 · 时钟复位

RTL设计建模

时钟域与复位策略

目标=掌握多时钟域 · 异步复位 · 门控时钟等形式验证中的建模与约束方法

时钟域复位策略

约束与假设管理

目标=学习编写环境约束 · 输入假设 · 状态空间限制

约束假设管理

属性编写实战

目标=从设计规范提取属性 · 编写安全性与活性属性 · 覆盖典型控制逻辑与数据通路

属性编写实战目标=从设计规范…

Jasper Proof Kit与预验证属性库

目标=使用Proof Kit加速属性… · 理解常见协议与接口的预定义属性

形式验证引擎与证明策略

目标=掌握Jasper的证明引擎 · 抽象技术 · 归纳法

形式验证引擎证明策略

反例分析与调试

目标=学习阅读反例波形 · 追踪根因 · 区分真实缺陷与约束问题

反例分析调试

覆盖分析与证明收敛

目标=使用覆盖属性 · 证明核心 · 未证明属性分析

覆盖分析证明收敛

形式验证中的抽象与切分

目标=掌握黑盒抽象 · 接口抽象 · 设计切分与假设-保证推理方法

形式验证抽象

寄存器传输级与门级验证

目标=在RTL与网表上运行形式验证 · 处理综合优化 · 扫描链与门级模型

寄存器传输级门级验证

低功耗形式验证

目标=验证电源域 · 隔离单元 · 电平转换器

低功耗形式验证目标=验证电源域

安全性与信息安全属性验证

目标=验证访问控制 · 密钥保护 · 信息流安全与抗攻击属性

安全性信息安全属性验证

X传播与未知态验证

目标=建模与验证X传播 · X优化 · 复位不确定性及未知态对功能的影响

X传播未知态验证

形式验证与仿真协同

目标=将Jasper证明结果 · 覆盖与反例反馈到仿真 · 回归与覆盖率收敛流程

形式验证仿真协同

Jasper与UVM/动态验证集成

目标=在UVM环境中复用形式验证属性 · 约束与覆盖率 · 实现形式-仿真混合验证

形式验证在IP与子系统级应用

目标=针对总线接口 · 仲裁器 · FIFO

SoC级形式验证挑战与策略

目标=处理大规模SoC中的连接性 · 协议 · 死锁

SoC级形式验证挑战

形式验证回归与持续集成

目标=建立属性回归 · 证明缓存 · 版本管理

形式验证回归持续集成

形式验证覆盖率驱动流程

目标=定义形式覆盖率模型 · 覆盖点 · 覆盖目标与覆盖率收敛标准

形式验证覆盖率驱…目标=定义形式覆…

Jasper形式验证脚本与自动化

目标=使用Tcl脚本 · 批处理模式 · API与流程自动化提升验证效率

Jasper形式验证脚本

形式验证性能调优

目标=优化编译 · 约束 · 属性与引擎设置

形式验证性能调优目标=优化编译

形式验证签核标准与质量度量

目标=制定签核条件 · 证明覆盖率 · 属性质量

形式验证签核标准质量度量

形式验证团队建设与角色分工

目标=定义形式验证工程师技能矩阵 · 团队协作 · 培训与知识管理

形式验证团队建设角色分工

形式验证流程与规范建设

目标=建立属性编写规范 · 约束规范 · 代码评审

形式验证流程规范建设

形式验证项目实战

目标=从需求到签核的完整项目案例 · 涵盖规划 · 建模

形式验证项目实战目标=从需求到签…

形式验证体系演进与前沿

目标=跟踪Jasper新特性 · 形式验证趋势 · AI辅助验证与体系持续改进

形式验证体系演进前沿