VIP20

本课程属于：014-RTL状态机 芯片设计与FPGA · 共 20 门相关课程，组合学习更完整。

查看所属VIP全部课程 →

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

复杂状态机仿真验证方法

📚 共计 30 章节

状态机基础

Moore机与Mealy机 · 状态转移图 · 二进制/格雷码/独热码编码

核心概念编码

状态机设计方法

三段式写法 · 一段式与二段式对比 · 跳转与输出逻辑分离

设计范式RTL

仿真验证环境搭建

Testbench结构 · 时钟/复位生成 · DUT实例化 · 波形dump

环境Testbench

基础仿真验证

手动激励 · 波形观察 · 状态跳转检查 · 覆盖率概念

自动化验证方法

自检Testbench · 参考模型 · 结果自动比对

自动化参考模型

覆盖率驱动验证

代码/翻转/FSM/功能覆盖率

随机化验证策略

SystemVerilog随机化 · 约束求解 · 带约束随机激励

断言验证 (SVA)

立即/并发断言 · 状态机断言 · 非法跳转检查

形式化验证入门

形式化 vs 动态仿真 · 属性检查 · 模型检测

形式化属性

UVM验证方法学入门

UVM架构 · 状态机验证组件 · sequence与driver

复杂状态机场景构建

多状态机交互 · 嵌套 · 并行验证策略

状态机复位验证

异步/同步复位 · 复位状态检查 · 复位后行为

复位可靠性

状态机异常处理验证

非法状态恢复 · 看门狗超时 · 异常中断处理

异常鲁棒性

低功耗状态机验证

电源域切换 · 时钟门控 · 状态保持/丢失

低功耗电源

状态机性能验证

吞吐量 · 延迟测量 · 状态驻留时间统计

状态机死锁与活锁检测

死锁/活锁检测方法 · 超时机制验证

状态机安全验证

安全状态定义 · 安全跳转 · 故障注入

安全故障注入

状态机验证计划制定

验证计划模板 · 功能分解 · 验证点提取

状态机验证用例设计

等价类划分 · 边界值分析 · 状态覆盖树

状态机验证自动化脚本

Python脚本 · Makefile · 回归测试

脚本自动化

状态机验证调试技巧

波形调试 · 日志分析 · 断点 · TCL脚本

状态机验证报告生成

报告模板 · 覆盖率分析 · bug统计

状态机验证工具使用

VCS/Verdi · QuestaSim · Xcelium 特性

实战案例1：UART协议

从规格到验证完成 · UART状态机验证

实战案例2：AHB总线

主/从状态机交互 · AHB验证

实战案例3：DDR控制器

复杂时序与状态 · DDR状态机

实战案例4：CPU流水线

多级流水线状态 · 流水线状态机

实战案例5：网络协议TCP

TCP状态机 · 网络协议验证

状态机验证前沿技术

机器学习辅助 · AI生成用例 · 形式化混合验证

课程总结与项目实战

综合项目实战 · 知识体系回顾 · 进阶路径