国产EDA大赛培训进行时！你还不来？

8月24日，2022浦东新区集成电路技能大赛国产EDA工具应用培训课程正式启动，来自长三角地区及其他集成电路产业聚集地的芯片工程师、学者齐聚一堂，多平台同步直播。

来自华大九天、阿卡思微电子的资深团队在接下来的几周里持续为大家带来6次线上课程。24日和28日的两次课程属于“培训一：形式化验证原理及应用”范畴，分别由阿卡思的技术支持总监冯煌和高级技术支持工程师胡涛主讲。

形式化验证原理介绍中，冯煌老师解读了技术背景和行业趋势，对什么是形式化验证以及分类做了说明，并重点阐释了形式化验证和仿真验证的区别。

SVA语法简介课程中，胡涛老师对SVA的概述和基本组成、断言的分类、断言在设计中的位置、具体语法和写断言的一些建议做了细致讲解。

直播的最后，主讲人还对评论区的留言提问进行了解答，直播间氛围积极热烈，两次课程累计观看人数近千人。

本周三、周日，还有两场直播课程即将上线，没有来得及参与的你还不来一睹为快？

8月31日晚19:00课程安排

AveMC使用方法介绍

1. 简介.

2. 流程概述.

3. 简单使用实例.

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

案例实训

案例一——交通灯

1.设计要求.

2.RTL级电路讲解。

3. 设计过程.

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

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

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

4. 总结case.

9月4日晚19:00课程安排

案例实训

案例二——FIFO缓存

1.设计要求.

2.RTL级电路讲解。

3. 设计过程.

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

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

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

4.总结case.

注：以上为公开课大纲，具体课程细节由主讲人决定。

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

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

//培训看不过瘾？摩拳擦掌想在线battle？别急，我们还有国产EDA工具应用赛等着你！

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

国产EDA工具应用赛

——竞逐荣誉，共建生态

集成电路设计是将市场需求细化为系统、逻辑与性能的设计要求，并进一步转化为具体物理版图，以供后续生产的过程，是集成电路产业的关键环节。随着电路的复杂度逐渐提升，EDA工具已然成为芯片设计的必选项，国产EDA工具的飞速发展也迎来转机。

为此，国产EDA工具应用赛应运而生，大赛将基于国产EDA工具设计赛题，设置两大赛题，了解和体验国产EDA工具产品，通过远程云上比赛的方式，增进产业工程师对国产EDA品牌的了解，推动国产芯片设计生态的完善。

一等奖，奖金5000元

二等奖，奖金3000元

三等奖，奖金2000元

比赛时间：9月17日/18日

参赛对象：半导体相关工程师

比赛形式：远程登录云平台，线上比拼

赛道数量：2个（每支团队限参加1题）

团队人数：每队1-3人

方向1：基于国产EDA工具的形式化验证应用

方向2：基于国产EDA工具的数模混合电路设计与优化

点击「链接」参赛

查看报名详情：国产EDA大赛培训进行时！你还不来？

详细赛题将在培训期间揭秘，敬请期待。锁定培训课程，享一手赛题资讯，获胜几率更大哦！

了解更多大赛介绍，

报名参加大赛活动，

跟踪大赛实时信息，

点击浏览大赛官方网站：

http://www.shanghai-ic.com

或关注公众号IC上海、

浦东工会通了解详情

上海市张江科学城康桥工业区总工会

姓名：赵骏辉

茄子（上海）管理咨询有限公司

姓名：孙智超