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

SoC芯片形式化验证架构设计教程

共计 30 章节
点击此处阅读海量试读课程：100+行业、1000+细分领域
01
形式化验证概论
核心概念 · 原理机制 · 实战要点
形式化验证概论核心概念
02
SoC验证挑战与形式化必要性
核心概念 · 原理机制 · 实战要点
SoC验证挑战
03
形式化验证技术全景
等价性检查与模型检查：核心概念 · 原理机制 · 实战要点
形式化验证技术全…等价性检查
04
断言与属性规格
核心概念 · 原理机制 · 实战要点
断言属性规格
05
形式化验证基本流程
核心概念 · 原理机制 · 实战要点
形式化验证基本流…核心概念
06
形式化验证工具链与平台架构
核心概念 · 原理机制 · 实战要点
形式化验证工具链平台架构
07
SVA断言编写与常用模式
核心概念 · 原理机制 · 实战要点
SVA断言编写
08
形式化约束与输入建模
核心概念 · 原理机制 · 实战要点
形式化约束输入建模
09
形式化验证环境搭建
核心概念 · 原理机制 · 实战要点
形式化验证环境搭…核心概念
10
时钟与复位验证
核心概念 · 原理机制 · 实战要点
时钟复位验证
11
寄存器与配置逻辑验证
核心概念 · 原理机制 · 实战要点
寄存器配置逻辑验证
12
状态机与控制逻辑验证
核心概念 · 原理机制 · 实战要点
状态机控制逻辑验证
13
数据通路与算法验证
核心概念 · 原理机制 · 实战要点
数据通路算法验证
14
总线协议与握手验证
核心概念 · 原理机制 · 实战要点
总线协议握手验证
15
跨时钟域与同步逻辑验证
核心概念 · 原理机制 · 实战要点
跨时钟域同步逻辑验证
16
安全隔离与访问控制验证
核心概念 · 原理机制 · 实战要点
安全隔离访问控制验证
17
低功耗与电源域验证
核心概念 · 原理机制 · 实战要点
低功耗电源域验证
18
形式化验证IP开发与复用
核心概念 · 原理机制 · 实战要点
IP形式化验证
19
子系统级形式化验证架构
核心概念 · 原理机制 · 实战要点
子系统级形式化验…核心概念
20
SoC集成级形式化验证架构
核心概念 · 原理机制 · 实战要点
SoC集成级形式化验证…
21
形式化验证计划与收敛管理
核心概念 · 原理机制 · 实战要点
形式化验证计划收敛管理
22
抽象分层与假设管理
核心概念 · 原理机制 · 实战要点
抽象分层假设管理
23
约束与验证IP重用
核心概念 · 原理机制 · 实战要点
IP约束
24
等价性检查与ECO验证
核心概念 · 原理机制 · 实战要点
ECO等价性检查
25
覆盖率驱动的形式化验证
核心概念 · 原理机制 · 实战要点
覆盖率驱动的形式…核心概念
26
形式化回归与CI/CD集成
核心概念 · 原理机制 · 实战要点
CI/CD形式化回归
27
反例分析与形式化调试
核心概念 · 原理机制 · 实战要点
反例分析形式化调试
28
形式化与仿真协同验证
核心概念 · 原理机制 · 实战要点
形式化仿真协同验证
29
形式化验证质量度量与交付标准
核心概念 · 原理机制 · 实战要点
形式化验证质量度…交付标准
30
团队架构与形式化验证落地
核心概念 · 原理机制 · 实战要点
团队架构形式化验证落地