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

芯师爷 2023-01-30

最近，国产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设计全流程。

向上滑动浏览课程大纲

第一次培训内容：模拟电路设计全流程工具的整体情况，以及模拟IC的电路原理图设计、层次化电路原理图设计、模拟 IC 的仿真分析、波形查看，DC 反标，指标优化、模拟IC 原理图驱动版图生成等环节的具体演示；

第二次培训内容：数字电路Verilog代码的设计和导入、小规模数字电路的仿真、数模混合电路的设计和仿真以及模拟IC的DRC/LVS物理验证、模拟IC的寄生参数提取和后仿真等环节的具体演示。

8月24日起，每周三、日晚七点，相约芯片揭秘直播间，一起在云端动手体验国产EDA工具。

扫描二维码，按需报名

选择最适合你的课程安排！

EDA工具应用实战赛

一等奖 5000元

二等奖 3000元

三等奖 2000元

更有团队荣誉抢不停

9月17-18日，国产EDA工具应用赛将在线上火热展开！两条赛道任你选择，报名大赛将优先获得云端EDA工具体验权限~