V
主页
【新思验证小课堂】【VC Formal】 15分钟带你了解形式验证技术
发布人
-
打开封面
下载高清视频
观看高清视频
视频下载器
【新思小课堂】【VC Formal】适合小白的第一本形式验证入门中文书
【新思小课堂】【AMBA VIP】如何用AMBA VIP构建总线系统验证环境
【新思小课堂】【VCS】如何报告设计当中的所有宏定义?
【新思小课堂】【VC Formal】FPV 快速验证同步fifo案例
【新思验证小课堂】【Verdi】如何用verdi 高效定位X态问题?
【新思小课堂】【VC Formal】FPV 验证 Round-Robin Arbiter案例分享
【新思小课堂】【Verdi】10分钟教你学会使用Verdi自带的波形分析App
【新思验证小课堂】【VC SpyGlass】5分钟带你学会什么是Lint检查方法学
【新思小课堂】【VC Formal】9分钟带你了解低功耗设计如何用形式化验证?
【新思小课堂】【VC SpyGlass】功能性CDC检查让你后顾无忧
【新思验证小课堂】【VC Formal】Connectivity Checking信号连接检查
【新思小课堂】【VC Formal】DPV收敛方法介绍之一
【新思小课堂】【Verification IP】10分钟教会你怎样使用Synopsys Verification IP
【新思小课堂】【Verdi】Coverage 小技巧
【新思验证小课堂】【TCM】20分钟带你了解SDC Signoff新工具TCM
【新思小课堂】【Verdi】怎么让Verdi打开波形更快一点
【新思验证小课堂】【Verdi】Assertion Debug Method
【新思小课堂】【VC SpyGlass】RDC检查的约束你了解吗?
【新思小课堂】【Verdi】后仿debug小技巧
【新思验证小课堂】【FuSa】VC ZOIX注错仿真的原理
【新思验证小课堂】【VC FORMAL】fornal 里的vacuity是什么意思你知道吗?
【新思小课堂】【VC SpyGlass】一看就会:CDC中qualifier的声明
【新思验证小课堂】【VCS】VCS零基础后仿flow介绍
【新思验证小课堂】【VC SpyGlass】5分钟带你学会什么是CDC跨时钟域路径检查
【新思验证小课堂】【HAPS】如何缩短编译时间
【新思验证小课堂】【Euclide】什么?!终于有属于IC工程师的IDE工具了?!
【新思小课堂】【VC SpyGlass】CDC怎样找到合规同步路径
【新思小课堂】【VC Formal】SEQ如何帮助PPA优化收敛以及与Formality的比较
【新思小课堂】【VCS】如何应用Dynamic Reconfiguration功能进行灵活高效的BlackBox设定?
【新思小课堂】【VC Formal】DPV收敛方法介绍之三
【新思验证小课堂】【VC_Z01X】安全机制如何实现抓故障
【新思验证小课堂】【VC SpyGlass】避坑指南:CDC检查中常见安全和不安全的同步结构
【新思验证小课堂】【Verdi】如何在大型设计中选择性加载所需部分?
【新思验证小课堂】【AXI VIP】如何在aw channel之前发送w channel?
【新思验证小课堂】【VC_ZOIX】(1/3)safe faults,注错工具瞧不上的那些faults
【新思小课堂】【VC Formal】AEP检查状态机dead lock案例
【新思验证小课堂】【VIP】AXI 如何发送超出4K boundary的command?
【新思验证小课堂】【Verdi】如何得到一次仿真中的所有信号toggle总数?
【新思验证小课堂】【VC Formal】overview-2
【新思验证小课堂】【VC_ZOIX】(2/3)safe faults,注错分析工具瞧不上的faults