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课网周老师

推荐阅读：

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

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

E课网7月课表！

ARM CPU的数字逻辑综合策略和实现

开源RISC-V CPU内核设计实践！

8周课程特训：2个月成长为初级IC设计工程师，零基础挑战年薪30万+