形式化验证（2022浦东新区长三角集成电路技能大赛启动）

芯片设计——一个在集成电路环节中极具创新活力的关键环节，在如今强势的国产替代浪潮下，正迎来飞速发展。而与之息息相关的国产EDA工具在被唤醒，在崛起！

这个夏天，让我们使用国产EDA工具，向日渐复杂的芯片设计发起挑战！

召集三五伙伴，用更体系全面的培训课程武装战队，更垂直紧密的社群体系强化自身能力，四十支战队将在云上集结，用成熟的国产EDA工具，展开激烈竞逐，抢现金大奖，赢团队荣誉。

大赛介绍

2022浦东新区长三角集成电路技能大赛以“奋进新征程，建功引领区”为主题，聚焦以集成电路产业为核心的泛科技领域，围绕国产EDA工具应用展开，通过应用技术培训、线下交流会、EDA工具线上应用赛等形式，聚焦产业重要环节，注重产业、人才、技能的协同配合，助力关键领域国产技术的推广，助力芯片国产化生态链的完善。

两大主题活动

服务企业与职工的发展需求

一起来看更多大赛第一手讯息吧！

国产EDA工具应用培训——出征前的一次全面武装

EDA工具是集成电路设计辅助软件，广泛应用于集成电路设计、仿真、模拟等多个环节，现在几乎所有的芯片设计都要依靠EDA工具来完成，作为核心“卡脖子”环节，EDA工具国产化是集成电路产业国产化的关键一步，重要程度不言而喻。

为此，大赛组委会联合两家本土EDA明星企业开展线上技术培训，为产业劳动职工提供系统全面的国产EDA工具应用培训课程，让学员们直接在云上体验用国产EDA工具实操芯片设计的部分环节。增进产业工程师对国产EDA品牌的了解，推动国产芯片设计生态的完善。

课程揭秘

培训时间：8月中旬至九月

培训对象：半导体相关产业工程师

培训形式：远程线上直播+云上实操体验

课程数量：2个

云上体验资源名额有限，直接报名EDA应用赛有机会抢先获得体验机会！

课程1：形式化验证原理及应用

形式化验证是数字前端三大验证方法（仿真，形式化验证，FPGA原型和Emulation硬件加速）之一，是唯一的完备性验证软件工具。形式化验证方法学现在已经在知名公司得到广泛应用，帮助IC数字前端验证工程师发现若干其他验证手段无法发现的设计缺陷，提高了芯片的质量。本课程包含形式化验证原理、数字前端验证趋势、SVA语法介绍，并教学如何使用阿卡思的AveMC建立形式化验证开发环境，及通过2-3个案例创建断言验证功能。

课程2：数模混合电路的设计和优化

本次培训是基于国产EDA工具模拟电路设计全流程EDA工具系统，介绍AMS全流程产品，帮助大家了解芯片设计流程。

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

更多课程信息、大纲可访问大赛官网了解：http://shanghai-ic.com

国产EDA工具应用赛——竞逐荣誉，共建生态

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

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

赛事详情

一等奖，奖金5000元

二等奖，奖金3000元

三等奖，奖金2000元

比赛时间：九月中旬

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

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

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

团队人数：每队1-3人

赛题方向

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

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

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

联系方式

了解更多大赛介绍，报名参加大赛活动，跟踪大赛实时信息，点击“阅读原文”浏览大赛官方网站：http://www.shanghai-ic.com或关注微信公众号IC上海、浦东工会通了解详情

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

姓名：赵骏辉

电话：18016071033

邮箱：502144827@qq.com

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

姓名：孙智超

电话/微信：15861365751

邮箱：szc@qieziclub.com

责任编辑 倪莉琪