如何评价芯华章的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
相关话题
为什么日本没有出现像台积电，因特尔，三星这样的半导体巨头？大陆的半导体代工企业大概什么时候能超过台积电?
网传百度正在为成立芯片公司筹款，百度在芯片方面有哪些优势吗？前景如何？
国产芯片能绕开美国技术封锁吗？
媒体爆料的华为塔山计划、南泥湾计划是谣言吗？如何以正确的态度看待这一系列事件？
求问各位大神，最近2年内美国IC行业的就业前期如何？
Perl等脚本语言在IC设计中有哪些用处？数字IC前端设计有必要掌握类似语言么？如果有，应该掌握到什么程度？
怎么求ic的发热功率？
职业选择与发展 - 芯片Formal验证 VS ISP数字图像处理？
为了必要时不得不打，包括芯片集成电路在内的哪些电子产品或技术，是需要应对形势大力发展的？
下一个讨论
中国的法家，儒家，道家，能算哲学吗？
相关的话题
如何看待传闻三星发生良率事故高通 5G 芯片全部报废？是否属实，事情的真相是什么？华为两个14nm芯片叠加成7nm级别的芯片是怎么做到的?14*14的面积不是7*7的4倍吗?
世界首台分辨力最高紫外超分辨光刻装备宣布研制成功意味着什么？对国内芯片行业有何影响？
如何看待「本科生自制光刻机」这一报道？有哪些意义和局限性？
集成电路数字后端本科生可能找到工作吗？
国产 8K 超高清CMOS芯片研发成功，有哪些意义？就将会给国产相机行业带来哪些影响？
印度推出牛粪芯片，声称可减少手机辐射，让人免于疾病，对此你怎么看？
一个亿的融资在射频模拟芯片初创公司可以烧多久?
如何评价紫光 2018 年将推出首款国产 DDR4 内存？
如何评价芯华章的EDA突破？
Hardware Emulation Platform (硬件仿真平台) 在IC验证中的运用情况如何？
北大软微集成电路方向导师有什么推荐？
航空发动机和芯片哪个才是人类智慧皇冠上的明珠？
如何评价 ARM 确认不受目前形势影响，可以和华为在 V9 架构上合作?
讲解verilog的经典书有哪些呢？
CPU芯片上的温度传感器是怎么安装上去的，是在制片时一起光刻好的还是后期加装上去的。?
微电子，希望毕业了做后端版图，学了layout,有什么办法得到入门工作的机会?
如何看待「本科生自制光刻机」这一报道？有哪些意义和局限性？
如何看待「龙芯之父」胡伟武谈阿里华为等垂直系统企业做芯片能成功，「因为现在做集成电路芯片的门槛很低」？
集成电路数字后端本科生可能找到工作吗？
西安半导体产业产值千亿，却留不住十万芯片人才，这一现象反映了什么？
作为从业者，你对初入芯片行业的新人有哪些建议？
为什么说芯片ic是夕阳产业呢？
为何现在的手机芯片已经进入7nm时代，而pc芯片却大多还在10nm甚至14nm上？
零跑、Nvidia、mobileye哪家自动驾驶芯片运算能力最强。？
微电子，希望毕业了做后端版图，学了layout,有什么办法得到入门工作的机会?
如何看待 2020 年美国企业的芯片销量在全球占比达到 47%，但芯片制造只占市场份额的 12%？
中国一旦攻克芯片难题，芯片会变成白菜价吗？
一条40nm产线，投资需要多大？
为了必要时不得不打，包括芯片集成电路在内的哪些电子产品或技术，是需要应对形势大力发展的？