-
成都奥卡思发布国内首款的芯片数字形式化验证EDA云计算工具--AveMC Cloud
中国成都，2020年4月20日，成都奥卡思微电科技(ARCASTECH)公司正式发布国内首款基于亚马逊AWS云平台的形式化验证工具AveMC Cloud，标志着本公司EDA工具正式迈入云计算时代，用户可以远程完成复杂芯片RTL设计的验证及调试工作，也为本公司EDA软件走向国际市场打下了坚实的基础。
中国成都，2020年4月20日，成都奥卡思微电科技(ARCASTECH)公司正式发布国内首款基于亚马逊AWS云平台的形式化验证工具AveMC Cloud，标志着本公司EDA工具正式迈入云计算时代，用户可以远程完成复杂芯片RTL设计的验证及调试工作，也为本公司EDA软件走向国际市场打下了坚实的基础。
