VIP20
本课程属于：217-Cadence Xcelium与Jasper验证工程 芯片硬件与光电工程 · 共 20 门相关课程，组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录 咨询 / 购买

Cadence Xcelium/Jasper签核交付工程

共计 30 章节
可可资料掘金营 · 点击在线试看
01
签核交付工程总览
目标=Xcelium与Jasper在… · 交付物定义 · 团队角色与协作接口
签核交付工程总览Xcelium
02
Xcelium仿真签核环境搭建
目标=编译选项 · 库映射 · UVM集成
Xcelium仿真签核环境搭建
03
Jasper形式验证签核环境搭建
目标=工程创建 · 时钟复位约束 · 属性加载
Jasper形式验证签核环境…
04
签核交付的版本控制与可复现性
目标=代码 · 脚本 · 约束
签核交付的版本控…可复现性
05
Xcelium回归测试签核
目标=回归用例组织 · 种子管理 · 覆盖率合并
Xcelium回归测试签核
06
Jasper属性签核
目标=属性质量评估 · 证明深度 · 覆盖点收敛
Jasper属性签核
07
Xcelium覆盖率签核
目标=代码覆盖率 · 功能覆盖率 · 断言覆盖率的收集
Xcelium覆盖率签核
08
Jasper形式覆盖率签核
目标=COI覆盖 · 证明覆盖 · 覆盖点收敛与签核判据的工程实践
Jasper形式覆盖率签核
09
签核交付中的调试工程
目标=Xcelium波形与事务调试 · Jasper反例波形与属性调试的协同…
签核交付调试工程
10
Xcelium低功耗签核
目标=UPF仿真 · 电源状态检查 · 隔离与保持属性的仿真验证与签核交付
Xcelium低功耗签核
11
Jasper低功耗形式签核
目标=UPF形式验证 · 电源域属性证明 · 低功耗签核交付物与报告
Jasper低功耗形式签核
12
Xcelium混合信号签核
目标=模拟/数字协同仿真 · RNM建模 · 混合信号签核的交付流程与检查点
Xcelium混合信号签核
13
Jasper安全性与可靠性签核
目标=功能安全属性 · 故障注入形式验证 · 安全机制证明与签核证据
Jasper安全性
14
签核交付中的性能与容量工程
目标=Xcelium多核加速 · Jasper证明引擎调优 · 资源分配与签核时间预估
签核交付性能
15
签核交付的持续集成
目标=Jenkins/GitLab… · 自动化签核触发 · 结果归档与质量门禁
签核交付的持续集…Jenkins/GitL…
16
Xcelium签核中的断言与检查
目标=SVA/PSL断言签核 · 断言覆盖率 · 断言失败分类与交付标准
Xcelium签核
17
Jasper签核中的断言与检查
目标=属性编写规范 · 断言证明 · 覆盖属性与签核证据链
Jasper签核
18
签核交付中的形式与仿真协同
目标=Xcelium仿真激励与Jas… · 结果交叉验证与签核合并
签核交付形式
19
Xcelium签核中的功耗感知验证
目标=动态功耗分析 · 功耗断言 · 功耗签核交付物与报告
Xcelium签核
20
Jasper签核中的等价性检查
目标=RTL与网表等价性 · ECO等价性 · 形式等价签核的交付流程
Jasper签核
21
签核交付中的覆盖率驱动验证
目标=Xcelium与Jasper覆… · 收敛策略与签核判据
签核交付覆盖率驱动验证
22
Xcelium签核中的寄存器与存储器验证
目标=寄存器模型 · 存储器BIST · 签核交付检查点
Xcelium签核
23
Jasper签核中的连接性检查
目标=端口连接 · 总线协议 · 连接性属性证明与签核交付
Jasper签核
24
签核交付中的回归失败分析
目标=Xcelium失败复现 · Jasper未证明属性定位 · 根因分析与修复验证
签核交付回归失败分析
25
签核交付中的签核评审
目标=签核标准定义 · 评审材料准备 · 风险项记录与签核批准流程
签核交付签核评审
26
Xcelium签核中的时序与时钟验证
目标=时钟域交叉 · 时序断言 · 仿真签核与形式签核的协同
Xcelium签核
27
Jasper签核中的复杂协议验证
目标=协议属性建模 · 证明策略 · 覆盖收敛与签核交付案例
Jasper签核
28
签核交付中的自动化脚本
目标=Xcelium与Jasper的… · 签核数据提取与报告生成
签核交付自动化脚本
29
签核交付中的质量度量
目标=签核完备性指标 · 缺陷逃逸率 · 签核置信度评估与持续改进
签核交付质量度量
30
签核交付工程综合实战
目标=从环境搭建到签核评审的完整项目… · 覆盖Xcelium与Jasper协同…
签核交付工程综合…目标=从环境搭建…