正式的智能邏輯等價檢查器問世。

Cadence設(shè)計系統(tǒng)已經(jīng)發(fā)布了Cadence Conformal Smart Logic等價Checker (LEC)，這是下一代的等價檢測解決方案，它在使用最少的用戶努力的情況下，在對等檢查運行時提供了顯著的改進。

與上一代具有相同計算資源的邏輯等價檢查工具相比，conformsmart LEC平均提供了4X的運行時改進。

隨著芯片功能的快速增長，設(shè)計規(guī)模也在不斷增加。此外，隨著先進節(jié)點的邏輯合成的最新進展，設(shè)計師采用了積極的合成技術(shù)來實現(xiàn)功率、性能和面積(PPA)目標。這些技術(shù)在設(shè)計尺寸和復雜性壓力等方面都取得了一定的進展，并且可以在很長的運行時間和有時不確定的結(jié)果中得到驗證。等價檢查是數(shù)字帶出流中的一個關(guān)鍵步驟，而Conformal Smart LEC解決方案解決了這些問題。Conformal Smart LEC的關(guān)鍵技術(shù)組件是:

大規(guī)模并行架構(gòu)自動劃分設(shè)計，并在多臺機器和cpu上分發(fā)正式的證明策略，并且可以無縫地擴展到100個cpu，以改進運行時。這個過程對用戶是完全透明的，不需要手動配置。

自適應(yīng)證明技術(shù)通過最小的用戶努力找到了一個決定性的證明的最快的解決方案。它分析了每個分區(qū)，并確定了最優(yōu)的正式算法來最小化運行時，避免了驗證時間——尤其是在復雜的行為datapath組件的設(shè)計上。

“我們已經(jīng)看到一些客戶通過Cadence Conformal Smart LEC實現(xiàn)了顯著的運行時改進和積極的PPA目標，”Digital & Signoff Group的執(zhí)行副總裁兼總經(jīng)理Anirudh Devgan博士說，他是Cadence公司的系統(tǒng)和驗證組的總經(jīng)理。“此外，我們的大規(guī)模并行架構(gòu)和自適應(yīng)驗證技術(shù)可以減少人工任務(wù)的需求，這樣客戶就可以更快地交付復雜的設(shè)計。”

“對于復雜的設(shè)計，包括深層的邏輯錐體，它經(jīng)常被用于每一個區(qū)塊的多個專家用戶的迭代，以證明RTL-to-gate邏輯的對等，”數(shù)字設(shè)計技術(shù)部的高級經(jīng)理Hideyuki Okabe說，他是Renesas電子公司的一個基礎(chǔ)廣泛的解決方案業(yè)務(wù)部門。“Cadence Conformal Smart LEC自動識別正確的證明策略，并將這些迭代簡化為一個。另外，Conformal Smart LEC的大規(guī)模并行架構(gòu)使我們能夠?qū)⑽覀兊钠骄�運行時減少4倍。隨著我們的設(shè)計轉(zhuǎn)向更小的流程節(jié)點，并繼續(xù)在規(guī)模和復雜性上增長，這項技術(shù)對于滿足我們當前和未來的市場目標至關(guān)重要。

新的Conformal Smart LEC進一步擴展了Cadence數(shù)字設(shè)計和signoff套件的創(chuàng)新，支持該公司更廣泛的系統(tǒng)設(shè)計支持策略，使系統(tǒng)和半導體公司能夠更有效地創(chuàng)建完整、差異化的終端產(chǎn)品。

船形開關(guān)http://www.yesiyuan.cn