VIP20

本课程属于：217-Cadence Xcelium与Jasper验证工程 芯片硬件与光电工程 · 共 20 门相关课程，组合学习更完整。

查看所属VIP全部课程 →

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

Xcelium多时钟SoC仿真与CDC验证

共计 30 章节

可可资料掘金营 · 点击在线试看

多时钟SoC仿真与CDC验证全景

目标=理解多时钟域SoC的仿真挑战 · CDC验证目标 · Xcelium工具链定位

Xcelium仿真环境搭建

目标=安装配置 · 编译流程 · 仿真脚本

Xcelium仿真环境搭建

时钟域与复位域建模

目标=在RTL和验证环境中定义多时钟 · 异步复位 · 同步复位

时钟域复位域建模

CDC同步器结构与行为

目标=两级触发器 · 握手同步 · 异步FIFO

CDC同步器结构

CDC静态检查工具集成

目标=在Xcelium流程中调用CD… · 结构检查 · 跨时钟域信号识别

CDC静态检查工具集成

多时钟仿真中的时序与延迟

目标=使用SDF反标 · 单元延迟 · 互连延迟

多时钟仿真时序

亚稳态建模与仿真

目标=在Xcelium中注入亚稳态 · 随机延迟 · 抖动

亚稳态建模仿真

跨时钟域数据一致性验证

目标=针对多比特总线 · 控制信号 · 配置寄存器

跨时钟域数据一致…目标=针对多比特…

异步FIFO验证实战

目标=搭建写时钟/读时钟不同频率的F… · 验证满/空标志 · 指针同步

握手同步协议验证

目标=实现请求/应答跨时钟域握手 · 验证握手完成 · 超时

握手同步协议验证目标=实现请求

脉冲同步与事件跨域

目标=验证窄脉冲跨时钟域同步 · 脉冲展宽 · 事件丢失检测

脉冲同步事件跨域

时钟域交叉复位处理

目标=验证异步复位同步释放 · 复位跨域同步 · 复位域交叉检查

时钟域交叉复位处…目标=验证异步复…

多时钟域总线与互连验证

目标=针对AXI · AHB · APB等总线跨时钟域桥接

多时钟域总线互连验证

CDC验证中的形式化辅助

目标=使用形式化工具或Xcelium… · 证明同步器结构 · 握手协议

覆盖率驱动的CDC验证

目标=定义跨时钟域功能覆盖率 · 断言覆盖率 · 代码覆盖率

CDC覆盖率驱动的

SVA在CDC验证中的应用

目标=编写跨时钟域断言 · 同步器属性 · 握手协议断言

多时钟仿真中的竞争与冒险

目标=识别仿真竞争 · delta延迟 · 非阻塞赋值与阻塞赋值对CDC行为的影…

多时钟仿真竞争

门级仿真中的CDC验证

目标=带SDF的GLS仿真 · 同步器单元库模型 · 亚稳态注入

CDC门级仿真

低功耗与时钟门控下的CDC

目标=验证时钟门控 · 电源域关断 · 隔离单元

多时钟SoC系统级仿真场景

目标=构建包含CPU · DMA · 外设

CDC违例调试与根因分析

目标=使用Xcelium波形 · 事务调试 · 断言回放

CDC违例调试

CDC验证回归与自动化

目标=搭建回归脚本 · 随机种子管理 · 失败重跑

CDC验证回归

性能与容量优化

目标=针对多时钟大规模SoC · 优化Xcelium编译选项 · 仿真分区

性能容量优化

CDC验证签核标准

目标=制定签核清单 · 违例豁免流程 · 覆盖率目标

CDC验证签核标准

实战项目一

目标=异步FIFO从RTL到GLS的… · 包括激励 · 断言

实战项目一FIFO

实战项目二

目标=多时钟域总线桥接验证 · 覆盖AXI到APB跨时钟域 · 乱序响应

实战项目二目标=多时钟域总…

实战项目三

目标=低功耗SoC时钟门控与电源域切… · 包含隔离 · 电平转换

实战项目三SoC

实战项目四

目标=基于真实SoC子系统的CDC回… · 使用Xcelium工具链完成从失败到…

实战项目四SoC

CDC验证前沿与趋势

目标=新型同步器结构 · AI辅助调试 · 云仿真

CDC验证前沿

课程总结与能力评估

目标=回顾多时钟SoC仿真与CDC验… · 设计综合考核任务 · 规划持续学习路径

课程总结能力评估