ARM Cortex M4的FM形式验证策略和实现方法
应聘IC工程师却缺乏项目实践经验？在职工程师想在短时间内补足短板快速提升实力？
8月10日，一线资深技术专家带你玩转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 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
在线直播
（有回放视频，可反复观看学习）
+
远程服务器项目实训
（上机实训环境）
+
讲师互动答疑
（在线答疑）
+
班级群管理
（实时督学）
+
纸质讲义
（提升学习效率）
开课时间
8月10日（周一）晚20:00
共40课时，20课时(课程) + 16课时(LAB) +4课时（项目实践）
授课时间安排
2020年7月27日起正式开课，为期3周。
每周二、四、六晚上20:00~22:00上课
课程价格
2980元
前10名可领取一张5折优惠券
实付1499元
IC高技能人才证书
学员完成课程，可以参加摩尔精英-E课网集成电路高技能能力认证考核。考核通过的同学可以获得摩尔精英-E课网颁发的集成电路高技能能力认证证书，为自己的数字IC设计能力提供有力证明。
课程咨询
有意向的同学或企业，请扫码添加E课网专业老师微信咨询报名
E课网Kevin老师
E课网周老师
推荐阅读：
E课网7月课表！
ARM CPU的数字逻辑综合策略和实现
开源RISC-V CPU内核设计实践！
8周课程特训：2个月成长为初级IC设计工程师，零基础挑战年薪30万+
E课网(www.eecourse.com)是摩尔精英旗下专业的集成电路教育平台，致力于半导体行业高质量集成电路专业人才的培养。平台以集成电路企业岗位需求为导向，提供贴合企业环境的实训平台，通过线上线下的培训方式, 快速培养学员符合企业需求。
E课网拥有成熟的培训平台、完善的课程体系、强大的师资力量，规划中国半导体精品课程体系168门，涵盖整个集成电路产业链，并拥有4个线下实训基地。至今深度培养总人数15367人，为行业直接输送专业人才4476名。与143所高校建立深度合作关系，共举办企业专场IC培训240场