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