首页
精品课程
就业班
实训课
IC学习卡
VIP会员
免费公开课
企业服务
定制培训
企业课程
企业超级VIP会员
高校共建
高校课程
摩尔实训云
摩尔科研云
认证证书
关于我们
企业荣誉
人才培育
学员风采
首页
精品课程
就业班
实训课
IC学习卡
VIP会员
免费公开课
企业服务
定制培训
企业课程
企业超级VIP会员
高校共建
高校课程
摩尔实训云
摩尔科研云
认证证书
关于我们
企业荣誉
人才培育
学员风采
登录
注册
登录
注册
基于CM4和28nm工艺的形式验证FM策略和实现
第10任务: 课程07_verify
查看课程
任务列表
第1任务: 课程01_formality basic concepts
第2任务: 02_上机答疑
第3任务: 02_答疑课下
第4任务: 课程03_basic formality flow
第5任务: 作业3review(无回放)
第6任务: 课程04_read_design
第7任务: 课程05_read_design补充
第8任务: 课程06_match
第9任务: 课程06_match(重录)
第10任务: 课程07_verify
第11任务: Verification
第12任务: Advanced Setup – Design Transforms
第13任务: Debug
第14任务: Advanced Usage
第15任务: Project介绍