技術(shù)分享 | 全面解讀貫穿IC設(shè)計(jì)全流程的三大等價(jià)性驗(yàn)證功能

作為一名驗(yàn)證工程師

你一定經(jīng)歷過(guò)下面的靈魂拷問(wèn)

”

驗(yàn)證網(wǎng)表和RTL代碼是否一致？邏輯仿真是否為最優(yōu)解？

每一個(gè)步驟后都有新的邏輯加入到netlist中，但新的邏輯的加入不能改變?cè)璶etlist的邏輯功能，如何能進(jìn)一步保證綜合后的網(wǎng)表與RTL之間的邏輯一致性？

當(dāng)芯片規(guī)模越來(lái)越大，設(shè)計(jì)復(fù)雜性的不斷增加，BUG表現(xiàn)的方式各不相同帶來(lái)驗(yàn)證周期大幅增長(zhǎng)，設(shè)計(jì)過(guò)程中的實(shí)際調(diào)試工作耗費(fèi)大量的時(shí)間和精力，為了能夠最大程度的使得驗(yàn)證收斂，我們也有越來(lái)越多的驗(yàn)證方法..

相比邏輯仿真，形式驗(yàn)證更適用于哪些場(chǎng)景？

形式驗(yàn)證如何比較兩個(gè)設(shè)計(jì)是否等價(jià)？

Part 1 : 4mins

芯華章數(shù)字驗(yàn)證全流程工具平臺(tái)介紹

芯華章提供完整的數(shù)字驗(yàn)證全流程工具平臺(tái)以滿(mǎn)足不同階段和不同需求的驗(yàn)證。通過(guò)多工具融合與協(xié)同，提高驗(yàn)證效率和準(zhǔn)確性，從而縮短芯片設(shè)計(jì)周期和降低成本。

Part 2：4mins

從RTL到門(mén)級(jí)網(wǎng)表的等價(jià)性驗(yàn)證

Part 3：12mins

貫穿IC設(shè)計(jì)全流程的三大等價(jià)檢查功能

SEC、LEC、HEC

Part 4：3mins

GalaxEC深度結(jié)合芯華章智V驗(yàn)證平臺(tái)各工具

芯華章智V驗(yàn)證平臺(tái)提供的統(tǒng)一底層框架、統(tǒng)一覆蓋率數(shù)據(jù)庫(kù)和調(diào)試系統(tǒng)，F(xiàn)usion Debug可直接支持GalaxEC等價(jià)性的結(jié)果調(diào)試，自動(dòng)載入雙設(shè)計(jì)數(shù)據(jù)對(duì)比，在SEC場(chǎng)景中進(jìn)行源和目標(biāo)的代碼對(duì)比，從LEC報(bào)告中選擇有差異的邏輯錐并進(jìn)行電路對(duì)比。

如果你對(duì)形式化驗(yàn)證產(chǎn)品有更多興趣，歡迎點(diǎn)擊“閱讀原文”進(jìn)入芯華章穹鵬GalaxEC產(chǎn)品介紹下載頁(yè)面，并與我們?nèi)〉眠M(jìn)一步聯(lián)系！

- 隱藏福利-

歡迎大家在學(xué)習(xí)知識(shí)點(diǎn)的同時(shí)
給我們的視頻一鍵三連

（點(diǎn)贊、推薦、分享）

截圖發(fā)至公眾號(hào)后臺(tái)

我們將挑選5位送出芯華章定制工程師頸枕！