提供形式化验证EDA工具，「阿卡思」助力中国自主创“芯”

图片地址：//oss.cyzone.cn/2021/0721/344b77f338b72869393a4bde7705eb3b.jpg?x-oss-process=image/resize,w_540,h_270,limit_0/format,jpg/quality,q_95

芯片是人类历史上最宏大也最细微的工程产品。芯片的电路制程一般仅为几纳米，这能够使上亿个晶体管集成在一个指甲大小的芯片上并发挥出强大的算力，但同时，要想实现这一壮举必须依托于完备的上下游产业链，包括材料、设计和制造等环节。我国和美国之间的政治、经济摩擦使得我国高端芯片领域自主生产能力不足的问题得以暴露，除了已经被大众所熟知的光刻机等生产装备，在芯片设计领域，高性能的EDA工具同样需要奋起直追。而这也是上海阿卡思微电子技术有限公司（以下简称“阿卡思”）所发力的方向。阿卡思正式成立于2020年5月，其前身成都奥卡思微电科技有限公司在2018年便开始运营。阿卡思创始人袁军拥有德克萨斯大学奥斯汀分校博士学位，曾先后在AMD、摩托罗拉、Verplex、Jasper、Cadence等公司任形式化验证EDA研发负责人或技术主管，其他核心团队成员也均来自世界知名EDA公司或芯片公司，拥有丰富的研发经验。国内市场EDA工具的风口相较于芯片的制造浪潮