新思科技工程师
分享EDA工具使用技巧
使命:为中国芯片崛起祭献自己
入群加VX:EDA_xi
VC Formal 篇
（20/32）
2.4万播放
简介
订阅合集
Synopsys VC Formal Overview---3
06:17
Formal Overview---2
06:38
Synopsys VC-Formal AEP-2 app 讲解
10:24
Synopsys VC-Formal AEP-1 app讲解
15:01
【席老师】【Formal】CC报Error-[SM-EALT]怎么解
01:15
【席老师】【Formal】你知道如何用formal smartsearch功能吗
02:41
【席老师】【Formal】什么样的设计适合用Formal SEQ去做验证
03:46
【席老师】VC Formal 里vacuity是什么意思你知道吗？
01:27
【席老师】formal 里的witness 是什么意思你知道吗
01:37
【席老师】formal 长时间不能收敛怎么办？
02:27
【席老师】formal CC 如何指定enable delay 和enable hold
07:55
【席老师】第一次用formal如何启动formal
01:58
【席老师】formal setup 有哪些值得注意的地方
04:02
【席老师】formal setup 有哪些值得注意的地方2
04:26
【席老师】formal setup 有哪些值得注意的地方-完
04:15
【席老师】formal 基础通用技术关于Monitor Progress-1
02:45
【席老师】formal 基础通用技术关于Monitor Progress-2
03:31
【席老师】formal如何把log里warning信息升级成error你知道吗
06:51
【席老师】【Formal】你了解formal里constraint的三种类型吗
06:56
【席老师】Formal FPV 介绍
06:17
【席老师】formal FPV app Standard usage
10:06
【席老师】how to Configuring and Running Checks
07:23
【席老师】【Formal】how to Analyzing Design and Property Complexity
07:46
【席老师】怎么创建formal Property
03:05
【席老师】【formal】Synopsys VC Formal Overview介绍第一节【芯片】【芯片设计】【芯片验证】【新思】【EDA】
10:04
Synopsys VC Formal CC APP使用场景及如何debug介绍【芯片】【芯片设计】【芯片验证】【新思】【EDA】
15:03
感觉Formal卡住了，log不打印内容了是什么原因
01:26
【席老师】给客户培训Formal CC发现的5点注意事项
03:15
【席老师】VC Formal 怎么高效检查clamp和reset值是否一致
02:26
【席老师】VC Formal FCA 使用注意事项有哪些？要不要全部收敛
01:52
【席老师】VC Formal FPV 有哪些验证场景【芯片】【芯片设计】【芯片验证】【新思】【EDA】
04:53
【席老师】VC Formal CC碰到下降沿采样的的RTL设计怎么办
01:10
顶部