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

Synopsys X传播验证与风险治理

共计 30 章节
可可资料掘金营 · 点击在线试看
01
X传播问题导入
目标=从硅后失效案例理解X传播对功能… · 建立风险治理意识
X传播问题导入目标=从硅后失效…
02
X传播基础语义
目标=四值逻辑与二值逻辑差异 · X/Z态来源 · Synopsys仿真器中的X语义模型
X传播基础语义目标=四值逻辑
03
X传播机制剖析
目标=门级与RTL级X传播路径 · 控制路径与数据路径的X扩散条件
X传播机制剖析RTL
04
X乐观与X悲观
目标=Synopsys工具中X乐观/…
X乐观X悲观
05
X传播风险分类
目标=复位释放 · 未初始化寄存器 · 总线竞争
X传播风险分类目标=复位释放
06
验证计划中的X治理
目标=在验证策略阶段定义X检查目标 · 覆盖项与通过准则
验证计划X治理
07
Synopsys VCS X传播配置
目标=xprop · xmerge · xassign等编译与仿真选项的工程…
SynopsysVCS
08
X传播检查器部署
目标=使用VCS X-Propaga… · X汇聚点与X敏感逻辑
X传播检查器部署VCS
09
RTL X传播建模
目标=为未初始化状态 · 三态总线 · 锁存器与异步路径建立可验证的X模型
RTLX传播建模
10
复位与初始化X治理
目标=验证复位序列 · 寄存器初始化 · 存储器启动状态对X传播的抑制效果
复位初始化X治理
11
时钟与异步路径X分析
目标=时钟门控 · 分频器 · 异步FIFO中X传播的捕获与风险控制
时钟异步路径X分析
12
总线与多驱动X治理
目标=三态总线 · 多主设备仲裁 · 双向端口中的X竞争检测与消解
总线多驱动X治理
13
低功耗结构X传播
目标=电源关断 · 隔离单元 · 保持寄存器与电平转换器中的X行为验证
低功耗结构X传播目标=电源关断
14
X传播与形式验证
目标=使用Synopsys VC F…
X传播形式验证
15
X传播与断言验证
目标=编写SVA属性捕获X传播条件 · X检查点与风险覆盖
X传播断言验证
16
X传播覆盖率
目标=定义X源覆盖 · X传播路径覆盖与X消解覆盖 · 并集成到回归报告
X传播覆盖率目标=定义X源覆…
17
X传播回归策略
目标=在夜间回归与签核回归中配置X检… · 失败分类与调试流程
X传播回归策略目标=
18
X传播调试方法
目标=使用Verdi波形 · X溯源 · X传播报告定位X根因与传播链
X传播调试方法Verdi
19
X传播风险量化
目标=建立X风险评分模型 · 结合发生概率与影响程度确定治理优先级
X传播风险量化目标=建立X风险…
20
X传播治理流程
目标=从X检查计划 · 执行 · 缺陷跟踪到签核的闭环治理流程
X传播治理流程目标=从X检查计…
21
IP级X传播验证
目标=针对第三方IP与自研IP的X接… · X传播边界与验证交付物
IP级X传播验证
22
SoC级X传播验证
目标=多IP集成 · 互连结构 · 电源域交叉中的X传播联合验证方法
SoC级X传播验证
23
X传播与安全机制
目标=X传播对锁步 · ECC · 奇偶校验
X传播安全机制
24
X传播与功能安全
目标=ISO 26262/ IEC…
X传播功能安全
25
X传播签核标准
目标=定义X传播签核条件 · 豁免准则 · 残余风险接受与文档化要求
X传播签核标准目标=定义X传播…
26
X传播自动化脚本
目标=使用Tcl/Python驱动V… · 结果解析与回归报告自动生成
X传播自动化脚本Tcl/Python
27
X传播案例实战一
目标=未初始化寄存器导致控制路径X传…
X传播案例实战一目标=未初始化寄…
28
X传播案例实战二
目标=三态总线竞争与多驱动X传播的检… · 隔离与验证
X传播案例实战二目标=三态总线竞…
29
X传播案例实战三
目标=低功耗电源关断场景下X传播对隔…
X传播案例实战三目标=低功耗电源…
30
X传播治理综合项目
目标=制定并执行一个模块级X传播验证… · 完成签核与风险报告
X传播治理综合项…目标=制定并执行…