如何评价芯华章的EDA突破？ 第1页
1
网友的相关建议:
业内人士，必须匿名。但是出于爱国心实在忍不住不说
芯华章别的产品不了解所以不评论，单就谈谈形式化验证产品“灵验”（EpicFV）
EpicFV号称是“全球首款开源形式验证工具”，实际就是几个开源项目套个并行运算的壳。好一个”全球首款“，合着你用来套壳的Yosys，abc，avy之流不开源是么？
说是开源，用的Yosys script还藏着，有关部分只发布编译好的二进制代码。然后实际用下来，这部分还有bug，在prove模式下，明明我们给的电路里有bug，但是yosys-smtbmc只跑20个cycle就提前于abc结束了，反倒告诉你证明出了没有bug。这种false negative要是真投入生产，得坑多少人坑多少钱？
你要是这部分开源，我就好心去gitee上给你提个issue，甚至我直接上手开个pull request帮你们改代码也不是不可以，要是这么藏着，那就不陪您玩了
说道gitee，EpicFV还得了个gitee最有价值的开源项目奖，这么说来gitee上真是没有什么有价值的项目了
就算是套了abc的壳，abc这种bit-level的pdr也是多少年前的老黄历了，不妨也多套几个新的word-level的pdr，还可以把proof engine搞得强一些
然而即便这样，芯华章融的资金少么？也有几个亿了吧
所以我聊天的时候，就跟我以前组的学弟说，国内人傻钱多，毕业了就赶紧回来吧，俗话说的好，对韭当割，该割就割
1
相关话题
为什么中国以前靠钱学森、钱三强这样的留美科学家回国制造研究原子弹，而现在已经没有这样的留美人才了？我16岁，对芯片研究制造很感兴趣，但是了解比较肤浅，想知道应该以什么为目标？
芯片为什么每年都能进步？
如何看待联发科高管称「全球只有一家公司有芯片发热问题，且不是我们」？这家公司是谁？为何出现发热情况？
芯片制程已经很很难突破，那为什么不能扩大芯片的面积呢？
40w去小芯片公司做芯片验证，还是36w去amd做ip验证？
要是中国的半导体鼻祖黄昆不磋砣岁月，中国的芯片产业真的不致于落后于西方吗？
如何看超威半导体（AMD）不再向天津海光提供新的ZEN架构技术授权的？
数字IC设计发展潜力大还是验证潜力大?
如何看待“RISC-V国际基金会CEO于9月17日对'Nvidia收购ARM'的侧面回应”？
下一个讨论
中国的法家，儒家，道家，能算哲学吗？
相关的话题
如何看待苹果Apple芯片设计师 John Bruno 跳槽谷歌Google？如何评价阿里巴巴启动NASA计划？
上海微电子新型光刻机支持多少分辨率？
如何看待麒麟710A由中芯国际制造？
如何看待头部手机厂商纷纷入局自研芯片？
我们造不出好芯片，是不是因为我们造不出顶级光刻机？
如何评价 Intel 首次推出的应用于数据中心的高速硅光子芯片？
中国的龙芯处理器现在到什么地步了？换句话说就是相当于几代英特尔。？
光刻机那么贵，一台光刻机一天能造多少芯片，能够本吗？
如果海思麒麟还活着，今年会推出什么样的旗舰 soc 产品？
如何评价小米高管潘九堂：苹果前期并没有芯片，iPhone 照样改变世界，诺基亚有芯片依然倒下？
如何看待华为轮值董事长郭平表示「华为将投资芯片领域重构，用堆叠与面积换性能」？
国产的意义是什么?
如何评价这几天知乎关于「芯片」上的悲观氛围？
话说日本光刻机像佳能、尼康水平目前是什么水平？
未来想进入中芯紫光海思大鱼等半导体公司，请问研究生攻读什么专业呢？
如何评价芯华章的EDA突破？
华为正式进军私募，旗下的哈勃投资登记为私募管理人，华为此举出于什么战略考量？
芯片内部引脚会不会相连？
德国的半导体巨头英飞凌发声称，核心知识产权在德国等，愿为中国供应芯片，是真的吗，是突破美国封锁了么？
如果海思部门独立了，或者卖设计方案给别的公司，能不能绕开美国找台积电生产？
华为如果把麒麟芯片卖给国内厂商会怎么样？
如何评价苹果 M1 系列芯片不支持 AV1 视频编码的硬件解码？
未来座舱系统将变得非常复杂，什么样的芯片可以满足未来智能座舱的使用？
如何看待文章“小米10手机芯片级拆解：全都是美国芯片！？
处理器的时钟频率是否能高于晶体管的开关次数？
如果中国掌握了EUV光刻机，在制造先进芯片上还可能会有哪些卡脖子的环节？
如果现在7nm的芯片（比如麒麟990）全部用来做内存，容量可以达到多少？
现在选择半导体行业就业是不是一个好选择？
怎样理解二极管的钳位电路和稳压电路？