形式化验证在芯片设计中的应用预约报名-IC CAFE活动-活动行

全国

当前定位城市:

热门城市:

全国北京上海广州深圳杭州武汉成都长沙南京重庆苏州

其它城市:

西安郑州厦门天津宁波青岛东莞佛山济南珠海合肥福州石家庄昆明查找更多城市 >

办活动

场景方案

线上峰会/研讨会

从宣传推广、名单收集、直播互动、线下拍摄/导播、数据分析等一站式直播解决方案

活动行企业版

专为对品牌、数据安全要求较高的企业/商会协会/会展公司等打造的活动管理系统

数字云展厅

定制图文音视频展厅/元宇宙展厅，独立的展商详情页、商机收集等

私有化部署

快速私有化部署企业私有活动管理解决方案，支持阿里云、腾讯云、AWS等

免费创建

回到顶部

形式化验证在芯片设计中的应用

EN

2024年6月6日 18:30 ～ 2024年6月6日 20:30

上海浦东张东路1387号21幢203室IC咖啡(上海)

收起

活动票种

展开活动详情︾

我要报名

活动内容收起 展开

讲座将介绍形式化方法和其在芯片设计验证中的应用。仿真和形式验证是数字芯片设计的两大方法学。和基于测试的仿真不同，形式验证通过逻辑推理和数学证明的方法来保证芯片的功能正确性。

活动时间：2024年6月6日（周四）18:30 - 20:30

活动地点：上海市浦东新区张东路1387号21幢203室（IC咖啡）

活动议程：

18:00-18:45 入场签到

18:45-19:00 破冰之旅

19:00-20:00 主题演讲：形式化验证在芯片设计中的应用

20:00-20:30 自由交流/结束

嘉宾介绍：

袁军.jpg

袁军

上海阿卡思微电子技术有限公司/成都奥卡思微电科技有限公司总经理

毕业于清华大学热能与汽车工程系，后于德州大学奥斯丁分校获得电子与计算机工程博士；
曾在AMD，Motorola，及Cadence等从事芯片设计及EDA（芯片设计自动化）研发工作；
2018年创立成都奥卡思微电科技，2020年创立上海阿卡思科技公司。是第一家国产形式验证工具研发并商业化落地的公司。

季忠波微信.png

组织单位

895芯领航.jpg IC咖啡logo.jpg

支持机构

非凡精英1.jpg

上海市浦东新区移动通信协会

上海家用电器行业协会

上海夸氪教育科技有限公司

前往路线：

路线.jpg

举报活动

活动标签

科技

最近参与

杨敏
报名
(5个月前)
ciel
报名
(5个月前)
mo
报名
(5个月前)
盛晨浩
报名
(5个月前)
Tze Wee
报名
(5个月前)
Jevin
报名
(5个月前)

您还可能感兴趣

您有任何问题，在这里提问！

为营造良好网络环境，评价信息将在审核通过后显示，请规范用语。

全部讨论

还木有人评论，赶快抢个沙发！

活动主办方更多

IC CAFE

IC咖啡是基于IC产业链面向IT互联网的跨行业跨地域的科技交流平台，创新孵化平台，创业投资平台。IC咖啡最初于2012年5月成立于上海，由ICT行业15年经验以上的高管，资深专家众筹建立，目前全球发起人共280多位，已在上海，北京，深圳，新加坡，硅谷落地，多个城市正在规划中。

Ta主办的其它更多活动>>