ARM Cortex M4的FM形式验证策略和实现方法

应聘IC工程师却缺乏项目实践经验？在职工程师想在短时间内补足短板快速提升实力？

7月27日，一线资深技术专家带你玩转IC项目，升职加薪so easy~

给你一次可以写进简历的最通用的ARM M4项目实践机会！3周直通高薪！

当今的IC设计规模大、复杂度高，同时面临时序、面积、功耗和项目进度等诸多挑战。数字IC在设计的过程中从RTL到最后流片会经过复杂的逻辑优化综合、布局布线、ECO等步骤。

在这些变换的过程中可能引入未预期的错误或者是漏洞，这时我们需要使用等效性检查工具对在各个实现过程产生的design版本进行验证。等效性检查在整个design设计过程中占据着重要的作用。

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

基于此，E课网特推出本次实训课程。课程内容主要包含了Formality等效性验证的原理及基本流程，Multiple stage verification及SVF解读，Multi-voltage designs的验证，Hard verification and SVP flow，如何高效的debug等等几个部分。

目前只要涉及到数字IC设计的公司，都必不可少的需要等效性验证工程师。

课程亮点

• 以模拟公司项目的方式授课，每次配套上机练习，帮助学员熟悉形式验证的流程，对每个环节，特别是对如何debug non-equivalent进行详细解说。

• 通过此课程，使学员们熟悉形式验证的flow，并以具体的实例，获得一次从setup环境到debug的经验。

•  通过对于Synopsys的Formality工具进行一个详细的指导，参加完整个课程之后，能够通过数字IC工程师的招聘。

课程大纲

p.s 每课时为45分钟

序号	课程内容	课时
1	Formality的概念 -Verification  Flow -key  concepts -Formality  terminology	2
2	Formality  shell and GUI -GUI -Setup file	2
Lab 1	Getting  Started with Formality	2
3	Basic  Formality Flow -Seven-step -Libraries  and Designs -Session	2
Lab2	Basic  Formality Flow
4	Reading  Designs -Load design -Load a  technology library -load  DesignWare -load Block  Box -Sim/Synth  Warnings	2
Lab 3	Reading  Designs LAB	2
5	Matching        -Synopsys  Guidance Flow -Compare  Rules	2
Lab 4	Matching  Lab	2
6	Verification        -Successful  Verification        -Failed  Verification	2
Lab 5	Verification	2
7	Advanced  Setup design  transformations           -Design  Compiler           -Power  Compiler           -DFT  Compiler	2
Lab6	Advanced  Setup – Design Transforms
8	Debug -recommended  debugging procedure -List the  failing points -Investigate  failures	2
Lab 7	Debug  Lab	2
9	Advanced  Usage -distributed  processing option -Run a  single point verification -Exploit incremental  verification capabilities -Generate  a hierarchical verification script -Describe  some potential causes of false failures when verifying a design  hierarchically	2
Lab 8	Advanced  Usage	2
10	总结	2

实验：包括实验手册和实验数据

随堂实验课程，每个实验，至少安排2个课时

Lab1：Getting Started withFormality

Lab2：Basic Formality Flow

Lab3：Reading Designs LAB

Lab4：Matching Lab

Lab5：Verification

Lab6：AdvancedSetup – Design Transforms

Lab7：DebugLab

Lab8：Advanced Usage

项目IP的设计流程

综合运用所学的形式验证的相关知识完成对ARM Cortex M4 design 的验证。

M4 design形式验证

讲师简介

Alvin

西安电子科技大学微电子专业硕士研究生

任职履历：

-曾供职于AMD、MTK等国内外知名IC设计企业

- 数字IC设计8年从业经验

项目经历：

• GPU芯片的integration的工作, 主要负责综合，形式验证，timing signoff等。

• 7nm工艺的手机芯片设计与实现，主要负责综合，DFT&ATPG，timing分析等。

• 数字电视芯片的设计，主要负责verilog实现及仿真验证，DFT&ATPG，timing分析，ECO，形式验证等工作。

• Wifi 芯片top integration 的工作。

• 大型矿机芯片的设计与集成。

学习方式

E课网在线学习平台 www.eecourse.com

在线直播

（有回放视频，可反复观看学习）

+

远程服务器项目实训

（上机实训环境）

+

讲师互动答疑

（在线答疑）

+

班级群管理

（实时督学）

+

纸质讲义

（提升学习效率）

开课时间

7月27日（周一）晚20:00

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

授课时间安排

2020年7月27日起正式开课，为期3周。

每周二、四、六晚上20:00~22:00上课

课程价格

2980元

前10名可领取一张500元优惠券

实付2480元

IC高技能人才证书

学员完成课程，可以参加摩尔精英-E课网集成电路高技能能力认证考核。考核通过的同学可以获得摩尔精英-E课网颁发的集成电路高技能能力认证证书，为自己的数字IC设计能力提供有力证明。

课程咨询

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

E课网Kevin老师

E课网周老师

推荐阅读：

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

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