VIP20
本课程属于：046-数字IC形式化验证与EDA验证 芯片设计与FPGA · 共 20 门相关课程，组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录 咨询 / 购买

Synopsys VC Formal形式化验证入门到精通

共计 30 章节
点击此处阅读海量试读课程：100+行业、1000+细分领域
01
形式化验证概览
核心概念 · 原理机制 · 实战要点
形式化验证概览核心概念
02
VC Formal工具套件与验证流程
核心概念 · 原理机制 · 实战要点
VCFormal
03
搭建VC Formal工程与运行环境
核心概念 · 原理机制 · 实战要点
VCFormal
04
SystemVerilog断言基础
核心概念 · 原理机制 · 实战要点
SystemVerilo…断言基础
05
属性语法与断言编写规范
核心概念 · 原理机制 · 实战要点
属性语法断言编写规范
06
并发断言与序列匹配
核心概念 · 原理机制 · 实战要点
并发断言序列匹配
07
假设、约束与自由变量建模
核心概念 · 原理机制 · 实战要点
假设约束
08
时钟与复位的形式化建模
核心概念 · 原理机制 · 实战要点
时钟复位的形式化建模
09
VC Formal属性验证流程
核心概念 · 原理机制 · 实战要点
VCFormal
10
形式化验证计划与属性分解
核心概念 · 原理机制 · 实战要点
形式化验证计划属性分解
11
黑盒模块与抽象模型
核心概念 · 原理机制 · 实战要点
黑盒模块抽象模型
12
反例分析与调试
核心概念 · 原理机制 · 实战要点
反例分析调试
13
无界属性证明与有界证明
核心概念 · 原理机制 · 实战要点
无界属性证明有界证明
14
谓词抽象与Cone of Influence分析
核心概念 · 原理机制 · 实战要点
Coneof
15
形式化覆盖率与证明质量
核心概念 · 原理机制 · 实战要点
形式化覆盖率证明质量
16
约束随机验证与形式化验证结合
核心概念 · 原理机制 · 实战要点
约束随机验证形式化验证结合
17
控制型RTL模块形式化验证案例
核心概念 · 原理机制 · 实战要点
RTL控制型
18
数据通路模块形式化验证案例
核心概念 · 原理机制 · 实战要点
数据通路模块形式…核心概念
19
片上总线协议形式化验证
核心概念 · 原理机制 · 实战要点
片上总线协议形式…核心概念
20
存储子系统形式化验证
核心概念 · 原理机制 · 实战要点
存储子系统形式化…核心概念
21
中断与异常路径形式化验证
核心概念 · 原理机制 · 实战要点
异常路径形式化验…核心概念
22
低功耗特性形式化验证
核心概念 · 原理机制 · 实战要点
低功耗特性形式化…核心概念
23
形式化验证与仿真验证协同
核心概念 · 原理机制 · 实战要点
形式化验证仿真验证协同
24
形式化验证在芯片签核中的角色
核心概念 · 原理机制 · 实战要点
形式化验证芯片签核
25
形式化IP验证与跨项目复用
核心概念 · 原理机制 · 实战要点
IP形式化
26
SoC集成阶段形式化验证
核心概念 · 原理机制 · 实战要点
SoC集成阶段形式化验…
27
证明性能调优与资源优化
核心概念 · 原理机制 · 实战要点
证明性能调优资源优化
28
常见形式化验证误区与改进策略
核心概念 · 原理机制 · 实战要点
常见形式化验证误…改进策略
29
VC Formal脚本自动化与持续集成
核心概念 · 原理机制 · 实战要点
VCFormal
30
从入门到精通的工程实践路线图
核心概念 · 原理机制 · 实战要点
从入门到精通的工…核心概念