全国
意见反馈
回到顶部
形式化验证在芯片设计中的应用
Thu, 06 Jun 2024 18:30:00 GMT+08 ～ Thu, 06 Jun 2024 20:30:00 GMT+08
IC CAFE
Hide
Tickets
Please select the order price
Event DetailsHide...
讲座将介绍形式化方法和其在芯片设计验证中的应用。仿真和形式验证是数字芯片设计的两大方法学。和基于测试的仿真不同，形式验证通过逻辑推理和数学证明的方法来保证芯片的功能正确性。
活动时间：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 自由交流/结束
嘉宾介绍：
袁 军
上海阿卡思微电子技术有限公司/成都奥卡思微电科技有限公司 总经理
毕业于清华大学热能与汽车工程系，后于德州大学奥斯丁分校获得电子与计算机工程博士；
曾在AMD，Motorola，及Cadence等从事芯片设计及EDA（芯片设计自动化）研发工作；
2018年创立成都奥卡思微电科技，2020年创立上海阿卡思科技公司。是第一家国产形式验证工具研发并商业化落地的公司。
组织单位
支持机构
上海市浦东新区移动通信协会
上海家用电器行业协会
上海夸氪教育科技有限公司
前往路线：
Event Tags
Recently Participation
-
杨敏Register
(5个月前)
-
cielRegister
(5个月前)
-
moRegister
(5个月前)
-
盛晨浩Register
(5个月前)
-
Tze WeeRegister(5个月前)
-
JevinRegister(5个月前)
Perhaps you'd be interested in
Question
All Questions
Haven't posted any questions yet, grab a sofa!
下载App观看回放
扫码小程序报名
