美国断供？我辈崛起！国产EDA工具应用赛即将开启，等你来

发布人：芯片揭秘时间：2023-05-09 来源：工程师发布文章

8月12日，美国商务部工业安全局BIS宣布对设计GAAFET（全栅场效应晶体管）结构集成电路所必须的EDA软件等四项技术实施新的出口管制。

美国的EDA电子设计自动化软件对中国企业的熔断，已经是第三次了。2018年禁售中兴，2019年断供华为，2022年则面对整个中国企业。

当下，国内大多数芯片设计公司仍在采用进口的EDA工业软件来设计芯片，这也就导致了国内芯片设计领域难以实现真正意义上的国产化。一旦美国断供EDA软件，短时间内肯定会严重影响国内芯片企业的设计能力，但另一方面也意味着国产EDA软件将彻底崛起。

我们始终坚信：

关键技术是要不来、买不来、讨不来的；

使用自主可控的EDA软件，

才能在一轮又一轮的格局变化中，

站稳脚跟，向上发展！

大赛介绍

2022浦东新区长三角集成电路技能大赛以“奋进新征程，建功引领区”为主题，聚焦以集成电路产业为核心的泛科技领域，围绕国产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工具。