定了！形式验证Formality工程实践课5折！选购ARM实训套餐更优惠~

夏日炎炎，惊喜连连！

E课网实训课纷纷开启特惠模式

本次价格绝无仅有！

帮你达成学习效果的同时

还能保住你的钱包，让你省下一大笔银子

接下来让我们逐一挑选······

（点击图片可查看课程详情↑）

E课网《ARM Cortex M4的FM形式验证策略和实现方法》课程限时5折优惠！原价2980元，现仅需1499元即可参与学习！

3周项目实践，强力提升您的芯片设计能力，闯进名企，升职加薪不是梦~

开课时间：2020年8月10日

课程介绍

目前只要涉及到数字IC设计的公司，都必不可少的需要等效性验证工程师，等效性检查在整个design设计过程中占据着重要的作用。

Formality是SYNOPSYS的等效性验证方案，该工具使用静态形式技术来确定某一设计的两个版本之间是否具有等效功能。Formality 能够支持先进的综合优化、布局布线技术等等，减少流片失败风险，缩短设计周期。

本课程以模拟公司项目的方式授课，配套上机练习，使学员熟悉形式验证的flow，并以具体的实例，获得一次从setup环境到debug的经验，顺利通过高薪数字IC工程师的招聘。

课程共40课时，20课时(课程) + 16课时(LAB) +4课时（项目实践）！

课程适合对象

（1）在学校没有数字IC设计实践机会的理工科类专业在校研究生和本科生。

（2）从事前端或后端数字IC设计的在职工程师，希望深入了解等效性验证原理、积累项目实践检验、提升自身的IC设计能力。

课程主要内容

• 等效性验证原理介绍，Formality的基本概念reference，implementation，logic cone等，验证的基本flow，GUI界面介绍。

  
  

• 分别介绍Formality的几个Step，Guidance，read，setup，match，verify。
  

• Multiple stage 验证及SVF，介绍如何分多个阶段去验证，如何解读SVF中的内容。

  
  

• Hardverification介绍当遇到inconclusive如何解决。

  
  

• Multi-voltagedesigns如何去验证，Formality支持带UPF的验证。

  
  

• 如何高效debug，介绍当遇到fail该如何高效的debug，根据不同的现象找到导致fail的原因。

  
  

• 基于ARM Cortex M4的CPU项目工程实践

课程报名咨询

有意向的同学，请扫码添加E课网专业老师微信咨询报名

前10名享5折仅需1499元！

E课网周老师

E课网Kevin老师

学完《ARM Cortex M4的FM形式验证策略和实现方法》还不过瘾？

还有更实惠的数字IC设计套餐供您选购！前方高能：

“数字IC设计入门到精通”ARM 项目实训套餐内容包含：

选购本套餐，尽享以上内容！不要9000+，套餐总价仅售7999元！

前10名还可额外再减1500，6499元即可报名！活动截止时间：8月10日。

 

课程报名咨询

 

有意向的同学，请扫码添加E课网专业老师微信咨询报名

前10名再减1500元！

E课网周老师

E课网Kevin老师

-END-

E课网(www.eecourse.com)是摩尔精英旗下专业的集成电路教育平台，致力于半导体行业高质量集成电路专业人才的培养。平台以集成电路企业岗位需求为导向，提供贴合企业环境的实训平台，通过线上线下的培训方式, 快速培养学员符合企业需求。

E课网拥有成熟的培训平台、完善的课程体系、强大的师资力量，规划中国半导体精品课程体系168门，涵盖整个集成电路产业链，并拥有4个线下实训基地。至今深度培养总人数15367人，为行业直接输送专业人才4476名。与143所高校建立深度合作关系，共举办企业专场IC培训240场