0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看威廉希尔官方网站 视频
  • 写文章/发帖/加入社区
会员中心
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

聚英才纵碧霄,决战EDA产业之巅

芯华章科技 来源:未知 2023-11-17 16:05 次阅读

wKgZomVXH9qABLvAAAAA7s0CTZQ239.svgEDA²侠客岛wKgZomVXH9qAQneoAAAA77bRYwo722.svg  

EDA²侠客岛官网https://xiakedao.eda2.com/

为打破产业和学术界限,促进政企校高度结合,芯华章联合EDA平方、黄大年茶思屋,打造EDA²侠客岛,致力于打通EDA竞赛、课题、实验平台、社区论坛等多生态场景,通过EDA²共享广阔资源。

wKgZomVXH9qARPh7AAGcc6SFyIg634.png

本项目将结合芯华章推动EDA发展创新中遇到的实际挑战,发布具备前瞻性的赛题与课题,提供产业界真实稀缺数据,基于强大的在线打榜平台,以长期、持续进行的打榜模式,培养和挖掘领域精英,推动产业威廉希尔官方网站 创新,共同探索EDA产业难题,培养和挖掘领域精英,助力人才成长。

wKgZomVXH9qAFAsTAADUXV_r7ds695.jpg

wKgZomVXH9qABLvAAAAA7s0CTZQ239.svg

芯华章科技

wKgZomVXH9qAQneoAAAA77bRYwo722.svg

芯华章聚焦EDA数字验证领域,打造从芯片到系统的敏捷验证解决方案,申请自主研发专利超160件,发布十数款基于平台化、智能化、云化底层构架的商用级验证产品,可提供完整数字验证全流程EDA工具。目前,芯华章在北京、上海、南京、深圳等地建立了九大研发中心,集结了一支500余人的全球化精英团队,其中八成为尖端研发人员,硕博比例高达70%。

wKgZomVXH9qABLvAAAAA7s0CTZQ239.svg

难题Chair介绍

wKgZomVXH9qAQneoAAAA77bRYwo722.svg

wKgZomVXH9uAIr7vAAGyyTde-mA699.png

刘军,现任芯华章科技高级研发总监,芯华章研究院研究员。目前在芯华章研究院主持高性能形式化求解引擎研究工作,并致力于使用机器学习威廉希尔官方网站 提高形式化求解引擎性能,毕业于上海交通大学,获微电子硕士学位,江苏省集成电路学会会员。

曾就职于Synopsys美国山景城研发总部,任芯片验证事业部高级研发工程师,回国后主要研究方向为硬件形式化验证以及芯片静态检测威廉希尔官方网站 。

带领团队从0到1实现了芯华章形式验证产品GalaxFV/GalaxEC, 长期从事高性能形式化求解引擎,随机约束求解引擎相关研究工作,获多项国家发明专利。

wKgZomVXH9qABLvAAAAA7s0CTZQ239.svg

芯华章难题介绍

wKgZomVXH9qAQneoAAAA77bRYwo722.svg难题:面向工业级设计的可扩展硬件模型检测引擎难题标签:形式验证,模型检测,SAT,SMT,并行/分布式求解加速命题企业:芯华章科技股份有限公司难题Chair:刘军(芯华章科技研发总监,芯华章研究院研究员)难题咨询窗口:yiyang@x-epic.com

随着芯片设计的复杂度越来越高,芯片验证的难度也越来越大。形式化验证(Formal Verification)作为一种高效的验证方法,在芯片验证中已经被越来越广泛应用,成为数字验证流程中重要的组成部分。传统的逻辑仿真存在覆盖率难以保证的问题,使用形式化验证方法可以发现硬件设计尤其是关键设计路径(Critical Path)中可能存在的缺陷和错误,大幅缩短验证周期并提高设计可靠性。

形式化验证的其中一种方法是模型检测(Model Checking),用户利用 SVA 断言描述清楚需要证明的设计规格,通过编译 RTL 和基于 SVA 的断言语言,建立数学模型,以数学证明的方式,通过对所有可能的状态空间进行遍历,保证验证没有死角,实现验证的完备化、自动化。

现阶段限制模型检测威廉希尔官方网站 大幅推广和采用的一个根本原因是验证收敛性问题。工业级芯片设计往往非常复杂,且数据通路繁重,由于模型检测工具采取详尽空间探索方式进行验证,常常会碰到状态空间爆炸问题,导致验证不收敛。

算力的提升以及算法级创新是解决模型检测收敛性问题的最重要途径,我们希望能通过本次赛题打榜方式,可以有更多的专家学者或者新生力量一起参与解决工业级形式化验证求解难题,更好地促进产学研合作,加速推进学术研究产业化。

芯华章2023年侠客岛难题挑战正式开启,我们将以“面向工业级设计的可扩展硬件模型检测引擎”为主线,长远持续更新芯片验证模型检测威廉希尔官方网站 相关求解难题,推广形式化验证方法学,欢迎世界各地的学生、老师持续关注,揭榜挑战。

对形式验证感兴趣的同学,推荐阅读如下威廉希尔官方网站 分享:

一种用于随机约束仿真的SAT增强的字级求解器

形式化验证漫谈:仿真之外,验证之内

wKgZomVXH9uAJFavAAC3PolN0pw032.jpg难题挑战流程wKgZomVXH9uAIekcAABI4vHQ1Ko842.jpg奖项配置wKgZomVXH9uAFunBAACs7K32tOI031.jpg


声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
  • 芯华章
    +关注

    关注

    0

    文章

    178

    浏览量

    11435

原文标题:聚英才纵碧霄,决战EDA产业之巅

文章出处:【微信号:X-EPIC,微信公众号:芯华章科技】欢迎添加关注!文章转载请注明出处。

收藏 人收藏

    评论

    相关推荐

    中国电子集团入主国内EDA(电子设计自动化)产业龙头企业华大九天

    ,现在华大九天又传来好消息;中国电子集团入主。 在12月9日晚间,华大九天正式发布公告称,为加快打造EDA等集成电路核心优势能力,解决国家产业瓶颈问题,尽快形成对国内集成电路产业的关键支撑作用,中国电子集团经与公司其他股东、董事
    的头像 发表于 12-11 17:43 463次阅读

    可验证AI开启EDA新时代,引领半导体产业变革

    来源:西门子EDA 探究当今产业背景和科技潮流中半导体产业所面临的挑战与变革时,不难发现,一个至关重要的转折点已经发生——人工智能(AI)的崛起正以前所未有的力量,对电子设计自动化(EDA
    的头像 发表于 10-17 13:20 295次阅读
    可验证AI开启<b class='flag-5'>EDA</b>新时代,引领半导体<b class='flag-5'>产业</b>变革

    同星智能荣获第四届“海英才”全球创新创业大赛最高奖项“金奖”

    9月20日,以“上海、创未来”为主题的第四届“海英才”全球创新创业峰会在上海国际会议中心举办。上海市委书记陈吉宁出席开幕式并启动第五届“海英才
    的头像 发表于 09-25 08:03 315次阅读
    同星智能荣获第四届“海<b class='flag-5'>聚</b><b class='flag-5'>英才</b>”全球创新创业大赛最高奖项“金<b class='flag-5'>聚</b>奖”

    5G洪流,防爆手机如何引领石油、化工通讯威廉希尔官方网站 革新潮流!

    站在5G威廉希尔官方网站 的时代浪潮,我们正目睹一场前所未有的威廉希尔官方网站 革命,它不仅深刻改变了信息通信的面貌,也为传统工业领域如石油、化工带来了前所未有的发展机遇。在这场变革中,大核桃防爆手机以其独特的安全特性
    的头像 发表于 08-21 15:12 259次阅读
    5G洪流<b class='flag-5'>之</b><b class='flag-5'>巅</b>,防爆手机如何引领石油、化工通讯威廉希尔官方网站
革新潮流!

    概伦电子引领国产EDA产业升级

    近年来,随着国内集成电路市场的快速发展和国产替代的强劲趋势,中国EDA产业呈现出蓬勃发展的态势。一批国产EDA企业崭露头角,形成了“三家上市+多家创企”的百花齐放局面。然而,随着本土客户需求的不断
    的头像 发表于 08-19 10:21 434次阅读

    差保护的应用场景

    差保护,全称为纵向差动保护,是一种在电力系统中广泛应用的保护装置。它主要用于保护电力系统中的变压器、发电机、电动机等设备,以防止设备因故障而损坏。差保护的应用场景非常广泛,下面将介绍差保护
    的头像 发表于 08-05 10:02 1214次阅读

    行芯、EDA²、华为云三方签署战略合作框架协议

    EDA²的秘书处代表郑云升先生介绍了签约背景。EDA²于去年12月在无锡发布“玄岩”评测中心。EDA²、行芯、华为云三方各有自身优势,此次战略合作是为了实现优势互补、共同提升
    的头像 发表于 08-01 11:43 1289次阅读

    最新!全球EDA企业 TOP 50!

    EDA是集成电路产业链最上游、最高端和最核心的产业,被称为半导体行业的“七寸”,几乎沉淀了整个半导体产业中所有的核心威廉希尔官方网站 问题,其涉及的芯片IC设计、布线、验证和仿真等方面都直接决定着集
    的头像 发表于 06-27 17:17 3745次阅读
    最新!全球<b class='flag-5'>EDA</b>企业 TOP 50!

    华大九天收购阿卡思近50%股权,国产EDA产业格局生变

    近日,国产EDA(电子设计自动化)产业迎来了一次重要的股权变更。上海阿卡思微电子威廉希尔官方网站 有限公司(以下简称“阿卡思”)在经历了一轮股权调整后,国产EDA领域的龙头企业华大九天成功获得了阿卡思49.75%的股份,一跃成为其控股股东。
    的头像 发表于 06-15 10:44 1652次阅读

    物联与威思客达成战略合作,开启星发展新模式!

    4月1日,北京威发新世纪信息威廉希尔官方网站 有限公司(以下简称“威思客”)高级副总裁、威廉希尔官方网站 总监、研发总经理一行到访星物联,并与星物联达成战略合作。未来,双方将共同携手,致力于通过物联网威廉希尔官方网站 创新、软硬件融合等
    的头像 发表于 04-11 15:10 350次阅读
    星<b class='flag-5'>纵</b>物联与威思客达成战略合作,开启星<b class='flag-5'>纵</b>发展新模式!

    概伦电子蝉联中国IC设计成就奖之年度产业杰出贡献EDA公司

    3月29日,2024年度中国IC设计成就奖榜单揭晓,概伦电子再度荣获年度产业杰出贡献EDA公司,作为国内首家EDA上市公司、关键核心威廉希尔官方网站 具备国际市场竞争力的EDA领军企业,概伦电子连续
    的头像 发表于 04-01 11:46 725次阅读

    光峰科技投资企业戈迦将于3月25日北交所上市

    3月21日晚间,科创板首批上市企业光峰科技发布自愿性披露公告显示,公司参股企业湖北戈迦光电科技股份有限公司(简称“戈迦”)向不特定合格投资者公开发行股票将于2024年3月25日在北京证券交易所上市。
    的头像 发表于 03-25 11:03 401次阅读

    中国芯片制造新思路,芯华章EDA数字验证

    芯华章以“开辟中华芯片产业的新篇章”为目标,开启了中国EDA产业的做出“中国自己的EDA”,实现产业链的自主和安全的创新之门。
    的头像 发表于 02-21 15:23 652次阅读
    中国芯片制造新思路,芯华章<b class='flag-5'>EDA</b>数字验证

    芯片设计及使用的EDA工具介绍

    机遇总是与挑战并存,目前国内在高端EDA工具研发方面,面临着如Synopsys、Cadence和Mentor等国际EDA供应商的巨大挑战,即使是作为本土最大的EDA公司,华大九天目前也只能够提供
    发表于 01-18 15:19 1404次阅读
    芯片设计及使用的<b class='flag-5'>EDA</b>工具介绍

    并购是大趋势,但国产EDA产业并购为什么是老大难?

    总价接近350亿美元。如无意外,这笔收购将会是2024年里半导体产业标志性大型收购之一。   并购是EDA产业发展的核心主题之一,纵观全球EDA三大企业(新思科技、Cadence和西门
    的头像 发表于 01-08 09:11 5530次阅读
    并购是大趋势,但国产<b class='flag-5'>EDA</b><b class='flag-5'>产业</b>并购为什么是老大难?