首页
精品课程
就业班
实训课
IC学习卡
VIP会员
就业求职
就业班课程
就业辅导
高校共建
高校课程
摩尔实训云
企业服务
企业课程
认证证书
免费公开课
关于我们
首页
精品课程
就业班
实训课
IC学习卡
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介绍