上海阿卡思微电子技术有限公司受邀参加2023年6月27日及6月28日由三星公司在美国加利福尼亚州圣何塞市举办的2023年三星晶圆代工论坛和三星先进晶圆代工生态系统论坛。三星为阿卡思提供了展示台供阿卡思向参展伙伴们介绍阿卡思的产品，在沟通交流中对行业愿景、趋势和创新技术有更深的理解。

2022年7月12日上午，上海阿卡思微电子技术有限公司（简称“阿卡思”）全资子公司成都奥卡思微电科技有限公司（简称“奥卡思”）举行了新址启用仪式，奥卡思正式迁址至成都天府软件园E3座2楼。

2021年7月2日，上海阿卡思微电子技术有限公司宣布完成数千万元Pre-A轮融资
本轮融资由上海合见工业软件集团有限公司领投，哈勃科技投资有限公司、上海科技创业投资有限公司和上海张江燧峰创新股权投资基金合伙企业（有限合伙）跟投
Pre-A轮融资将用于吸引高端EDA专业人才和开拓EDA新产品
本次融资彰显了资本市场对上海阿卡思的认可

电子科技大学实习队与奥卡思携手合作开展为期6个月的实习，前4个月线上实习，后2个月为线下实习
线上学习形式化验证和奥卡思自主研发的软件，线下以协助公司软件开发和测试为主
培养学生对集成电路产业的认知，校内老师和高校学生携手企业导师以实际行动贯彻产学研一体化的政策

面向数字前端验证EDA云计算
利用Amazon AWS EC2提升验证的容量及速度，减少本地计算资源
实现EDA工具的按实际使用时间收费的全新计费模式

申请试用版请联系wangrui@arcas-da.com

2018年3月落地成都高新区
已经获得首轮融资
成功开放两款逻辑验证产品，并有多项预研中
成功推出面向亚太地区的培训和咨询服务，持续开发中国/亚洲及北美市场

时间：2018年6月24-28日
地点：旧金山，美国
展位号：2135

会议时间：2018年4月18日
会议地点：上海东锦江希尔顿逸林酒店
会议内容：多场主题演讲、指导课程、短期研讨会、参展企业产品展示与咨询
参会企业：Cadence, Mentor, Synopsys, Onespin, Arcas, Breker, Doulos, Real intent, Concept Engineering,华大九天,Acconsys, Cloud Service Test,Hypersilicon, Dini, Cloud TestingService (ADVANTEST Group)

奥卡思凭借两款EDA验证工具抢占国内市场份额
本土半导体厂商纷纷推出EDA工具
国内半导体行业迎来新格局

时间：2018年12月13日          地点：成都市西部国际博览中心
参会企业：阿里巴巴集团，浪潮集团，京东云，百度云，益企云股份有限公司等

本文提纲：
      一、验证背景介绍
      二、形式化验证简介
      三、形式化验证和仿真验证相结合的综合验证方法
      四、形式化验证实例