面对新兴技术环境下,系统应用创新在验证规模、效率和完备性等方面提出的巨大挑战,为解决大系统芯片的验证难题,国家集成电路设计深圳产业化基地将联合芯华章开展验证技术研讨会,聚焦用户的痛点进行深度剖析与交流,同时设有上机实践环节直观体验。
培训费用:公益培训,免费
培训时间:2024年4月25日 9:00-16:30
主办单位:国家集成电路设计深圳产业化基地&芯华章
培训地址:南山区科技中二路软件园一期四栋六楼615室
联系人:冯甜 手机/微信: 17692416764
具体培训内容与安排如下:
时间 | 主题 |
09:00-09:30 | 签到 |
09:30-10:00 | Advanced GalaxSim Features Introduction |
10:00-10:30 | Fusion Debug - What is new? |
10:30-10:40 | 休息交流 |
10:40-11:10 | End-to-End Verification with Acuity Formal and GalaxFV |
11:10-11:40 | XEPIC Formal Verification Family Introduction |
11:40-13:00 | 午餐交流 |
13:00-14:15 | 上机实践:GalaxSim & Fusion Debug:全面仿真解决方案,一站式上机体验 |
14:15-14:25 | 茶歇交流 |
14:25-15:40 | 上机实践:GalaxFV & GalaxEC :芯华章数字全流程等价性验证系统与形式化验证工具上机实践 |
15:40-15:50 | 茶歇交流 |
15:50-16:20 | 圆桌对谈与答疑 |
16:20-16:30 | 抽奖 |
本次研讨会名额限50人,额满即止,先到先得。请有意参加者于4月22日前扫描下方二维码报名。报名信息经审核后将以电话方式回复确认,一经确认,不得无故缺席。
