V
主页
【新思小课堂】【HAPS】HAPS软件工具使用常见问题分享
发布人
手把手教你...
打开封面
下载高清视频
观看高清视频
视频下载器
【新思小课堂】【VC Formal】FPV 验证 Round-Robin Arbiter案例分享
【新思小课堂】【AMBA VIP】如何用AMBA VIP构建总线系统验证环境
【新思小课堂】【Verdi】后仿debug小技巧
【新思验证小课堂】【TCM】20分钟带你了解SDC Signoff新工具TCM
【新思验证小课堂】【Verdi】如何用verdi 高效定位X态问题?
【新思小课堂】【VC SpyGlass】功能性CDC检查让你后顾无忧
【新思小课堂】【VC Formal】FPV 快速验证同步fifo案例
【新思小课堂】【VCS】URG Coverage Merge主要选项和实用技巧
【新思小课堂】【HAPS】如何安装protocompiler
【新思小课堂】【VC Formal】适合小白的第一本形式验证入门中文书
【新思小课堂】【Verdi】Coverage 小技巧
【新思小课堂】【HAPS】如何下载HAPS100
【新思小课堂】【HAPS】如何在protocompiler中定义IP的时钟?
【新思小课堂】【VCS】后仿是如何处理负延时的?
【新思小课堂】【VCS】如何将模块环境的覆盖率merge到系统环境的覆盖率中?
【新思验证小课堂】【HAPS】如何在Partition报告中查看cable使用?
【新思验证小课堂】【FuSa】FuSa verdi GUI 界面长啥样
【新思小课堂】【FuSa】配置ssf文件,自动插入TMR,提高生产力
【新思小课堂】【Verdi】如何提升debug 效率?--- IDX Overview
【新思小课堂】【Verdi】如何在linux下方便快速的打开userguide
【新思小课堂】【VCS-Coverage】加密代码如何查看覆盖率?
【新思验证小课堂】【Verdi】如何修改Verdi Coverage中显示test的数量上限?
【新思小课堂】【VCS】如何应用Dynamic Reconfiguration功能进行灵活高效的BlackBox设定?
【新思小课堂】【VC Spyglass】15分钟教你如何提前在RTL阶段进行寄存器优化分析
【新思验证小课堂】【VC SpyGlass】5分钟带你学会什么是Lint检查方法学
【新思小课堂】【HAPS】约束特定资源的使用
【新思小课堂】【VC Formal】SEQ如何帮助PPA优化收敛以及与Formality的比较
【新思小课堂】【Verification IP】10分钟教会你怎样使用Synopsys Verification IP
【新思小课堂】【HAPS】如何运行runtime debug
【新思小课堂】【VCS】如何在命令行修改parameter 值?
【新思验证小课堂】【HAPS】HT3接口连线测试
【新思验证小课堂】【VC Formal】VC Formal FPV demo
【新思小课堂】【HAPS】如何在uc_flow中基于SRS抓信号
【新思验证小课堂】【VCS-DPO】如何优化compile & simulation performance?
【新思验证小课堂】【VC SpyGlass】10分钟带你了解RDC检查原理
【新思验证小课堂】【VC_ZOIX】(2/3)safe faults,注错分析工具瞧不上的faults
【新思验证小课堂】【VIP】AXI 如何发送超出4K boundary的command?
【新思验证小课堂】【Verdi】Assertion Debug Method
【新思小课堂】【VC Formal】自动提取property检查
【新思小课堂】【HAPS】如何将用户设计产生的时钟送上全局时钟网络