兆松科技（武汉）有限公司

兆松科技（武汉 ）有限公司成立于2019年底 ，由原 Andes软件部门VP王东华和Andes编译器组长伍华林联合创办，累计超过40年的基础软件(仿真/编译/协同设计)研发经验，致力成为全球领先的软硬件协同设计基础软件服务公司。兆松科技是国内为数不多，具备复杂基础软件研发能力的公司，已经发布的RISC-V工具链，已在全世界处于绝对领先水平。兆松致力于提供车规安全检测工具和服务，其中包括涵盖ISO26262的软件代码和硬件RTL代码检测工具（zchecker），车规安全检测的核心技术是编译技术，静态分析，错误注入，形式化验证，AI辅助验证等，兆松科技在此领域具有超过20年的行业经验。未来兆松会陆续推出车规操作系统，中间件等车规级软件和工具链。