如何评价芯华章的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
相关话题
芯片、半导体和集成电路之间的区别是什么？英特尔的酷睿i系列处理器是不是用ASML光刻机制造的？以前的奔腾系列呢？
等离子刻蚀机中的“source power”以及“bias power”与刻蚀的关系是？
芯片设计方向读博咨询，该选哪一个更好？
国产半导体的最大威胁，是为美国服务的华人科学家，这是芯片行业内斗吗？
为什么三星、台积电都要量产 7nm 了，而英特尔 10nm 量产持续跳票？
我16岁，对芯片研究制造很感兴趣，但是了解比较肤浅，想知道应该以什么为目标？
近年来，半导体产线投资遍地开花，两年后会出现产能过剩的情况吗？
为什么内存和闪存芯片都被叫成颗粒？
小米称多次流片成重负，中芯国际能否降低资金门槛：用流片免费、量产收费的模式，振兴芯片研发产业？
下一个讨论
中国的法家，儒家，道家，能算哲学吗？
相关的话题
芯片设计与制造，要选择哪个专业？如何评价芯原，GUC，Faraday，AIchip，灿芯等design service公司？
模拟集成电路设计真的没有前途了吗？我还准备入坑呢？
为何光刻机已经步入7nm时代，主流PC部件的尺寸还是如此“狂野”？主流计算机硬件的尺寸主要由什么决定？
芯片在ATE阶段主要是检测什么？ATE在芯片制造过程中处于什么阶段？
为什么英特尔不把最顶级的中央处理器给台积电代工，使用7纳米制程呢，比如10980这种几万的中央处理器？
与 7nm 工艺非常相似的中芯国际 N+1 工艺芯片流片和测试成功，意味着什么？
如何看待网传联发科新一代芯片命名为「天玑 9000」？这出于怎样的考虑？
近年来，半导体产线投资遍地开花，两年后会出现产能过剩的情况吗？
如何看待PS5因Soc芯片良率低，减产400万台？
编译器是如何编译自己的？
顶级处理器晶体管数量多少？
为什么造芯片时，是光刻晶圆而不是晶“方”呢（狗头）？
话说日本光刻机像佳能、尼康水平目前是什么水平？
同样是ASML的光刻机，为什么同样的制程会产生不同的芯片性能，是如何产生的？
半导体芯片工艺制程 nm 越小对于性能提升究竟有多大呢？
如何看待全球缺芯问题蔓延，从汽车蔓延至手机、游戏机等领域，苹果也警告iPhone用半导体吃紧？
特斯拉 AI 日推出人工智能训练计算机 DOJO 芯片，有哪些技术亮点？使用场景是怎样的？
集成电路会“磨损”吗？
CPU GPU一个时钟内最大会有多少比例的晶体管同时翻转？
mixed signal 的现状?
Cat1以前不被熟知的原因是什么？
为什么串口比并口快？
苹果为什么不自己生产芯片?
第三代半导体板块逆势走强，释放那些信息？
为什么中国以前靠钱学森、钱三强这样的留美科学家回国制造研究原子弹，而现在已经没有这样的留美人才了？
做晶体管级集成电路的功耗和速度的优化, 在整个集成电路设计流程里处于什么位置?
台积电代工索尼CIS的竞争优势是什么？
第三代半导体板块逆势走强，释放那些信息？
在柔性 OLED 屏幕量产中驱动 IC 是技术瓶颈吗？