V
主页
【新思验证小课堂】【VERDI】VC Apps实例之如何获取两个instance之间的连接关系
发布人
手把手教你如何利用VC Apps获取两个instance之间的连接关系
打开封面
下载高清视频
观看高清视频
视频下载器
【新思小课堂】【VC Formal】适合小白的第一本形式验证入门中文书
【新思验证小课堂】【VC SpyGlass】5分钟带你学会什么是Lint检查方法学
【新思验证小课堂】【Verdi】如何指定dump或不dump哪些instance的波形?
【新思验证小课堂】【VC Formal】 15分钟带你了解形式验证技术
【新思验证小课堂】【FuSa】VC ZOIX注错仿真的原理
【新思验证小课堂】【HAPS】Protocompiler Turn-Around-Time Reduction
【新思验证小课堂】【VC Formal】Connectivity Checking信号连接检查
【新思验证小课堂】【VCS】怎么基于信号值条件执行force操作?
【新思验证小课堂】【HAPS】如何在Partition报告中查看cable使用?
【新思验证小课堂】【UPFA】为什么UPFA生成的supply set function被放到了不同的位置?
【新思小课堂】【VC SpyGlass】RDC检查的约束你了解吗?
【新思小课堂】【Verdi】Coverage 小技巧
【新思小课堂】【VC Formal】Assertion IP
【新思验证小课堂】【VCS】如何查看后仿中的实际反标延迟值?
【新思小课堂】【VC SpyGlass】功能性CDC检查让你后顾无忧
【新思验证小课堂】【VC_Z01X】安全机制如何实现抓故障
【新思验证小课堂】【TCM】20分钟带你了解SDC Signoff新工具TCM
【新思小课堂】【Verification IP】10分钟教会你怎样使用Synopsys Verification IP
【新思验证小课堂】【VC_ZOIX】(1/3)safe faults,注错工具瞧不上的那些faults
【新思验证小课堂】【VC Formal】FCA 覆盖率分析工具
【新思验证小课堂】【Verdi】Preload Configuration
【新思验证小课堂】【VC_Z01X】我没有听错吧,故障这玩意儿居然还有专门的描述文件?
【新思验证小课堂】【AXI VIP】如何在aw channel之前发送w channel?
【新思验证小课堂】【Verdi】UPFA助力快速设计UPF
【新思验证小课堂】【Euclide】如何从零创建Euclide项目
【新思验证小课堂】【HAPS】cut clock的检查与处理
【新思验证小课堂】【VCS】如何查看仿真中的CPU时间/内存分配使用情况?
【新思小课堂】【VC Formal】自动提取property检查
【新思验证小课堂】【HAPS】HT3接口连线测试
【新思小课堂】【VC ZOIX】快速读懂coverage report
【新思验证小课堂】【Verdi】如何在波形中查看被force的信号
【新思小课堂】【HAPS】如何运行runtime debug
【新思小课堂】【VC SpyGlass】RDC实例
【新思小课堂】【Verdi】IDX-Use mode introduction(一)
【新思验证小课堂】【VCS】How to dump class in fsdb
【新思验证小课堂】【Verdi】如何用verdi 高效定位X态问题?
【新思小课堂】【EMMC VIP】如何后门读写VIP Memory数据
【新思验证小课堂】【Verdi】如何修改Verdi Coverage中显示test的数量上限?
【新思验证小课堂】【Euclide】什么?!终于有属于IC工程师的IDE工具了?!
【新思小课堂】【VC Formal】FPV 快速验证同步fifo案例