奥卡思和电子科技大学开展实习项目

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

奥卡思发布国内首款formalEDA云工具——AveMC Cloud

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

申请试用版请联系[email protected]

发展成果

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

奥卡思微电于旧金山参加DAC2018设计自动化大会

 

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

Arcas & DVCon China 2018 (上海)

会议时间：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验证工具抢占国内市场份额
本土半导体厂商纷纷推出EDA工具
国内半导体行业迎来新格局

奥卡思受邀参加全国首届中小微企业云服务大会

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

形式化验证学方法的总结与应用

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