国内领先的开发支撑类、验证EDA类基础软件提供商。秉承“创造更好代码”的企业使命，解决“卡脖子”问题，构建以软件质量测试、软件安全测试、数字IC验证、研发效能工具为核心的产品矩阵。与航空、航天、兵器、船舶、轨道交通、金融、能源、工业、汽车、信息技术等用户合作，提供国产自主基础软件。