奇捷科技(Easy-Logic)是一家專注于電子設(shè)計(jì)自動(dòng)化工具(EDA)前端技術(shù)研發(fā)的高科技公司,核心技術(shù)包括:IC設(shè)計(jì)流程前端的邏輯綜合與優(yōu)化、形式化邏輯驗(yàn)證等。創(chuàng)始團(tuán)隊(duì)來自于香港中文大學(xué)計(jì)算機(jī)系。
Easy-Logic深圳子公司“奇捷科技(深圳)有限公司”于2021年初成立,以進(jìn)一步開拓中國大陸市場。