1樓：
沒有突破，但是對於國內來講，意義也算重大。
EpicSim雖然是基於iverilog，快速針對性的優化足以證明這家公司的專業程度了。
EpicFV雖然是二進位制開源，短期能夠構建框架做出國內第乙個自有static verification tool，也有可取之處，就是過於小家子氣了。之所以說是國內第一，成都那家東西貌似不乾淨。
繼續觀望吧，作為業內人士，還是希望國內在EDA領域能有和御三家打打擂台的公司，不然卡脖子太難受了。
2樓：
Word天，怪不得最近師弟們總跟我說回來啦，硬體形式化驗證錢多吖。門檻太高了懂的人不多blablabla。這幾天不斷被形式化這仨字兒刷屏，咋的了這是。
在yosys和abc上面加層皮兒的EDA開源專案不要太多。全球不單純是國內，想要open EDA工具打破三巨頭壟斷的不要太多。後端工具打破壟斷不太現實，但是前端分析驗證工具妥妥的。
過來diss主要是看到：
敢問這個「業界」是哪個業界啊？然後去GitHub看了看，果然沒這句話。哦呵呵呵呵。
x-epic/EpicFV
另外，奉勸一句別太沉迷於yosys，這玩意兒是基於netlist做分析的，天生不利於解決scalability問題。未來肯定是基於property定製的建模和checking。formal做到最後做的是property。
3樓：Eidosper
之前華為的人說過，在被封禁後他們研發了很多儀器，但是後來覺得不能什麼都做，就把技術轉讓出去了。
這件事根據我了解到的資訊（不一定準），也有這方面的因素。
大家也不用著急去了解，2023年的高中歷史課本應該會詳細介紹這段歷史的。
4樓：解碼晶元
是打破0，實現1的突破
國內EDA領域雖然近幾年很多企業在嘗試走EDA工具中國產化的道路，但是卻始終擺脫不了舊世界的遊戲規則，芯華章在嘗試新構架的EDA工具，這就已經邁出了非常關鍵非常可貴的一步。
而且，其專攻的驗證領域也恰恰是國內目前產業鏈中空白了非常久的乙個部分，其難度以及攻破後的價值都是非常高的。
另外，其在開源工具方面也推出了非常開創新的產品，這就不僅僅推動企業自身進步，也是在造福整個國內EDA產業共同進步。
如何評價霍金的突破攝星計畫？
陳蔚 瞎幾把搞。既然雷射可以射這麼遠，直接甩通訊訊號啊，如果四年前這麼幹，現在訊號都已經到了，然後外星人就可以開始回信了。如果四年後沒回信，那說明那裡可能不怎麼適合住人，或者他們正開會商討要不要回應，或者已經悄然派艦隊過來消滅我們。即使是最後一種情況，我們也有充足的時間應對，怕啥？宇宙製造業必須在競...
如何評價中芯國際發布的2023年財報（12nm工藝研發取得突破）？
smic財報截圖 財報上各個製程的佔比，可以看出來大頭還是0.15 0.18um，其次是65nm然後45nm。當然14nm 12nm用處很大，估計很長一段時間可以做高通6系檔位的晶元，如果能拿下這個製程，日後華為倒是可以出麒麟6系出某個型號用smic的工藝作為備選。我個人對中芯國際的期望就是不掉隊就...
如何評價三星也要自己做基於ARM的電腦晶元？
Eidosper 本來手機御三家都要這麼玩，現在華大師也就只好在後面默默等著了。就像華為，技術先進但人家都不用你，照樣gg。如果御三家的電腦都不用x86，那確實對市場會有挺大的影響。這不是x86先進不先進 效能高低的問題，一旦形成趨勢，那arm打x86就像手機打單反一樣，直接能把效能不敏感的市場全部...