灵芯实验室 -- 集成电路自动化设计和形式化验证

打开/关闭项目分类列表

lingcore / 2007-05-15 05:29 / 关注：595 次用户操作：收藏给我发消息

项目介绍

项目简要

详细介绍

执行团队

匹配投资[22]

所属行业	芯片设计	所属区域
关键字
发展阶段	早期	出让股份	5%
融资方式	天使投资	退出方式	股权转让
融资金额	2万美元	融资时限	一年
项目说明	灵芯实验室从事以下项目的研发： 1。基于定律证明器的形式化验证； 2。高级函数式硬件设计语言； 3。算术电路高级设计工具； 4。微处理器自动设计； 5。可裁减可扩展微处理器软核； 6。纳米电路物理设计工具。\|自动化集成电路设计在中国是一个空白领域。在国际上，虽然自动化集成电路设计已经发展很长时间，但依然落后于设计的实际需要。自2000以来，芯片面�

详细资料都是一些核心资料。资料浏览权限：1、该项目持有人；2、经过本站验证且经过该项目持有人同意浏览的投资机构。

执行团队浏览权限：1、该项目持有人；2、经过本站验证且经过该项目持有人同意浏览的投资机构。

匹配信息浏览权限：仅仅是该项目持有人。

暂无任何评论！

评论需登录

>> 推荐项目......

>> TOP10 关注排行......

>> NEW10 最新上传......