V
主页
【新思验证小课堂】【VC_Z01X】安全机制如何实现抓故障
发布人
手把手教你设置抓故障的步骤
打开封面
下载高清视频
观看高清视频
视频下载器
【新思小课堂】【VC Formal】适合小白的第一本形式验证入门中文书
【新思验证小课堂】【Verdi】如何修改Verdi Coverage中显示test的数量上限?
【新思验证小课堂】【FuSa】VC ZOIX注错仿真的原理
【新思验证小课堂】【Verdi】UPFA助力快速设计UPF
【新思小课堂】【VC Formal】FPV Signoff流程
【新思验证小课堂】【VC Formal】VC Formal FPV demo
【新思验证小课堂】【HAPS】如何在Partition报告中查看cable使用?
【新思小课堂】【AMBA VIP】如何用AMBA VIP构建总线系统验证环境
【新思验证小课堂】【Verdi】如何按照时间自动切割FSDB文件?
【新思验证小课堂】【VC Formal】Connectivity Checking信号连接检查
【新思小课堂】【VC SpyGlass】功能性CDC检查让你后顾无忧
【新思小课堂】【Verification IP】10分钟教会你怎样使用Synopsys Verification IP
【新思验证小课堂】【Verdi】如何指定dump或不dump哪些instance的波形?
【新思验证小课堂】【TCM】20分钟带你了解SDC Signoff新工具TCM
【新思验证小课堂】【VCS】如何查看后仿中的实际反标延迟值?
【新思验证小课堂】【FuSa】功能安全的概述
【新思验证小课堂】【VC Formal】overview-2
【新思验证小课堂】【VERDI】VC Apps实例之如何获取两个instance之间的连接关系
【新思验证小课堂】【HAPS】Protocompiler Turn-Around-Time Reduction
【新思验证小课堂】【VCS】怎么基于信号值条件执行force操作?
【新思小课堂】【Verdi】如何提升debug 效率?--- IDX Overview
【新思验证小课堂】【Euclide】如何从零创建Euclide项目
【新思验证小课堂】【VC Formal】 DPV与数据验证
【新思验证小课堂】【HAPS】如何在Partition Flow中使用ECO
【新思验证小课堂】【VC SpyGlass】5分钟带你学会什么是CDC跨时钟域路径检查
【新思验证小课堂】【HAPS】cut clock的检查与处理
【新思小课堂】【Verdi】Coverage 小技巧
【新思验证小课堂】【Euclide】什么?!终于有属于IC工程师的IDE工具了?!
【新思验证小课堂】【VC SpyGlass】避坑指南:CDC检查中常见安全和不安全的同步结构
【新思验证小课堂】【Verdi】10分钟带你了解Verdi软硬件协同调试方案
【新思验证小课堂】【Verdi】如何基于信号列表从原始FSDB文件提取部分信号波形到新的FSDB文件?
【新思小课堂】【VC_ZOIX】顺藤摸故障
【新思小课堂】【HAPS】如何运行runtime debug
【新思验证小课堂】【Verdi】如何在波形中查看被force的信号
【新思小课堂】【VCS】后仿是如何处理负延时的?
【新思小课堂】【VCS】15分钟带你了解VSO.ai
【新思小课堂】【FuSa】一键三连,哦不,是一键缩小注错的范围,让你的design轻装过关
【新思验证小课堂】【VC Formal】FCA 覆盖率分析工具
【新思验证小课堂】【HAPS】如何缩短编译时间
【新思验证小课堂】【FuSa】FuSa verdi GUI 界面长啥样