抢位！国产EDA工具应用培训报名火热开启

最近，国产EDA发展势头如火如荼，而针对我国的新一轮EDA软件出口限制也将再度袭来！

我们始终坚信：关键技术是要不来、买不来、讨不来的；使用自主可控的EDA软件，才能在一轮又一轮的格局变化中，站稳脚跟，向上发展！

2022浦东新区长三角集成电路技能大赛正式开设国产EDA工具应用培训课程！

来自华大九天、阿卡思微电子的资深团队将为大家带来6次线上课程，足不出户，一周两课，在云端免费体验国产EDA工具，资深导师直播开课，设立专属社群答疑解惑~

提升自我，共同为国产EDA助力！

赛事合作

华大九天

阿卡思

华为云

培训安排

参与培训，您将得到：

专业的国产EDA工具课程体系；

资深EDA及云服务技术团队在线答疑；

免费的云端国产EDA工具实操机会；

垂直社群终身建立，打入EDA培训核心圈。

培训一：形式化验证原理及应用

形式化验证是数字前端三大验证方法之一，是唯一的完备性验证软件工具。形式化验证方法学现在已经在知名公司得到广泛应用，帮助IC数字前端验证工程师发现若干其他验证手段无法发现的设计缺陷。

本课程包含形式化验证原理、数字前端验证趋势、SVA语法介绍，并教学如何使用阿卡思微电子AveMC建立形式化验证开发环境，及通过2-3个案例创建断言验证功能。

一、形式化验证原理介绍

1. 技术背景

1.1行业趋势

1.2 数字前端验证趋势

1.3验证的方法：仿真、形式化验证、静态检查等

2. 形式化验证原理

2.1什么是形式化验证

2.2形式化方法的分类

3. 形式化验证VS仿真验证

3.1形式化验证与仿真的区别

3.2形式化验证的优缺点

4.形式化验证的应用

二、SVA语法简介

1.SVA介绍.

1.1概述

1.2 SVA简介

1.3 断言的分类

2.SVA语法.

2.1 断言语句的类型

2.2 SVA的基本组成

2.3 断言在设计中的位置

2.4 断言的具体语法（运算符、操作符、延迟、[->n]、[=n]...）

2.5 写断言的一些建议（经验）

三、AveMC使用方法介绍

1. 简介.

2. 流程概述.

3. 简单使用实例.

4. AveMC的引用于设计和验证过程的概念、步骤、和命令 .

四、案例一——交通灯

1.设计要求.

2.RTL级电路讲解。

3. 设计过程.

3.1建立一个AveMC形式化验证的开发环境

3.2使用cover property去理解这个设计

3.3创建断言(assert)去验证功能特征

4. 总结case.

五、案例二——仲裁器

1.设计要求.

2.RTL级电路讲解。

3. 设计过程.

3.1建立一个AveMC形式化验证的开发环境

3.2使用cover property去理解这个设计

3.3创建断言(assert)去验证功能特征

4.总结case.

六、案例三——FIFO缓存

1.设计要求.

2.RTL级电路讲解。

3. 设计过程.

3.1 建立一个AveMC形式化验证的开发环境

3.2 使用cover property去理解这个设计

3.3 创建断言(assert)去验证功能特征

4.总结case.

注：该文件为公开课大纲，具体课程细节由演讲人决定。

培训二：数模混合电路前端设计与优化

本次培训是基于华大九天的模拟电路设计全流程EDA工具系统，介绍华大九天及其AMS全流程产品，帮助大家了解华大九天的工具和设计流程。

以模拟/数模混合电路为代表的IC设计全流程解决方案是华大九天起步最早、技术积累最长、功能覆盖最完善的一站式EDA解决方案，是全球四大定制IC设计全流程平台之一，也是国内唯一的全定制IC设计EDA平台，通过本次培训，可以让大家掌握模拟IC电路图设计、前仿真、波形调试、版图生成和设计、物理验证、寄生参数提取、后仿真验证的一整套IC设计全流程。