V
主页
【新思验证小课堂】【UPFA】为什么UPFA生成的supply set function被放到了不同的位置?
发布人
手把手教你修改Verdi UPFA默认的生成行为(带demo的哦~)
打开封面
下载高清视频
观看高清视频
视频下载器
【新思验证小课堂】【VC Formal】VC Formal FPV demo
【新思验证小课堂】【Verdi】UPFA助力快速设计UPF
【新思验证小课堂】【VC SpyGlass】5分钟带你学会什么是Lint检查方法学
【新思验证小课堂】【Verdi】如何修改Verdi Coverage中显示test的数量上限?
【新思验证小课堂】【VC Formal】overview-2
【新思验证小课堂】【HAPS】如何在Partition Flow中使用ECO
【新思小课堂】【HAPS】各类接口子卡简介
【新思验证小课堂】【VC Formal】 15分钟带你了解形式验证技术
【新思小课堂】【Verdi】Coverage 小技巧
【新思小课堂】【VIP】PCIE VIP联合Verdi的高效debug技巧
【新思验证小课堂】【HAPS】Protocompiler Turn-Around-Time Reduction
【新思小课堂】【AMBA VIP】如何用AMBA VIP构建总线系统验证环境
【新思验证小课堂】【HAPS】如何在Partition报告中查看cable使用?
【新思小课堂】【Verdi】IDX-Use mode introduction(一)
【新思验证小课堂】【Verdi】如何在波形显示assert success?
【新思小课堂】【HAPS】如何安装protocompiler
【新思验证小课堂】【Verdi】如何用verdi 高效定位X态问题?
【新思验证小课堂】【Verdi】Preload Configuration
【新思小课堂】【VC Formal】FPV Signoff流程
【新思验证小课堂】【HAPS】cut clock的检查与处理
【新思小课堂】【Verdi】如何提升debug 效率?--- IDX Overview
【新思验证小课堂】【VC Formal】Overview-3
【新思小课堂】【VC Formal】Assertion IP
【新思验证小课堂】【VCS】VCS零基础后仿flow介绍
【新思小课堂】【VCS-GLS】后仿的时候如何给某个path 加delay?
【新思验证小课堂】【VC Formal】Connectivity Checking信号连接检查
【新思验证小课堂】【VERDI】VC Apps实例之如何获取两个instance之间的连接关系
【新思小课堂】【VC SpyGlass】SAM流程助力高效完成顶层验证
【新思小课堂】【VCS】15分钟带你了解VSO.ai
【新思小课堂】【FUSA】FuSa Flow 全流程工具的介绍
【新思验证小课堂】【Euclide】如何利用Euclide Batch Mode进行代码检查
【新思验证小课堂】【VCS】如何查看后仿中的实际反标延迟值?
【新思小课堂】【VC Formal】自动提取property检查
【新思验证小课堂】【VC Formal】FCA 覆盖率分析工具
【新思小课堂】【Verdi】Transaction & Protocol Analyzer
【新思小课堂】【VCS】如何报告设计当中的所有宏定义?
【新思小课堂】【HAPS】使用Xactors调试
【新思验证小课堂】【VC SpyGlass】5分钟带你学会什么是CDC跨时钟域路径检查
【新思验证小课堂】【Verdi】如何指定dump或不dump哪些instance的波形?
【新思验证小课堂】【Verdi】如何查看某个coverage bin被哪些testcase所cover以及cover的次数?