V
主页
【新思小课堂】【VC_ZOIX】case初始化太太太久怎么办,一招帮你加速
发布人
对于初始化太久的case,通过save/restore加速,让项目过规更快一步
打开封面
下载高清视频
观看高清视频
视频下载器
【新思小课堂】【VC Formal】FPV 验证 Round-Robin Arbiter案例分享
【新思验证小课堂】【FuSa】VC ZOIX注错仿真的原理
【新思小课堂】【VC SpyGlass】功能性CDC检查让你后顾无忧
【新思小课堂】【VC Formal】FPV 快速验证同步fifo案例
【新思小课堂】【VC SpyGlass】CDC怎样找到合规同步路径
【新思小课堂】【VC SpyGlass】一看就会:CDC中qualifier的声明
【新思小课堂】【VC SpyGlass】RDC实例
【新思小课堂】【VC_ZOIX】VC_ZOIX有快速上手的demo吗?当然,就在这里!!
【新思小课堂】【VCS】仿真错误STACK_OVERFLOW 如何解决?
【新思小课堂】【Verdi】后仿debug小技巧
【新思验证小课堂】【VC SpyGlass】避坑指南:CDC检查中常见安全和不安全的同步结构
【新思验证小课堂】【VC Formal】 DPV与数据验证
【新思小课堂】【VC_ZOIX】如何对design的注错范围做更加精细的调控?
【新思小课堂】【VC SpyGlass】SAM流程助力高效完成顶层验证
【新思小课堂】【VC Formal】FPV Signoff流程
【新思验证小课堂】【VCFORMAL】Overview-1
【新思验证小课堂】【VC_ZOIX】(2/3)safe faults,注错分析工具瞧不上的faults
【新思小课堂】【EMMC VIP】如何后门读写VIP Memory数据
【新思小课堂】【VC Formal】适合小白的第一本形式验证入门中文书
【新思验证小课堂】【VC FORMAL】fornal 里的vacuity是什么意思你知道吗?
【新思验证小课堂】【VC SpyGlass】5分钟带你学会什么是Lint检查方法学
【新思验证小课堂】【Verdi】如何用verdi 高效定位X态问题?
【新思小课堂】【Spyglass FA】Spyglasss FA在FuSa方面的应用
【新思小课堂】【HAPS】MDM下如何使用DynamicForce
【新思小课堂】【Verdi】如何提升debug 效率?--- IDX Overview
【新思小课堂】【UPFA】UPFA实例
【新思小课堂】【VC SpyGlass】CDC时钟一目了然
【新思小课堂】【VC SpyGlass】顶层port的复位域定义
【新思小课堂】【VC_ZOIX】顺藤摸故障
【新思验证小课堂】【FuSa】FuSa verdi GUI 界面长啥样
【新思验证小课堂】【VC Formal】overview-2
【新思验证小课堂】【VC Formal】VC Formal FPV demo
【新思验证小课堂】【VCS】VCS零基础后仿flow介绍
【新思验证小课堂】【VCS】如何查看仿真中的CPU时间/内存分配使用情况?
【新思小课堂】【VC Formal】DPV收敛方法介绍之一
【新思验证小课堂】【Verdi】如何按照时间自动切割FSDB文件?
【新思小课堂】【Verdi】Transaction & Protocol Analyzer
【新思小课堂】【VC SpyGlass】时钟关系同异步检查
【新思小课堂】【VC Formal】使用FXP检查X传播
【新思小课堂】【VCS】常见的两大类约束问题