Imagination推出用于設(shè)計驗證和確認(rèn)的顛覆性IMG Edge服務(wù)平臺
加入技術(shù)交流群
Imagination Technologies今日宣布：公司正在不斷擴展業(yè)務(wù)，推出用于設(shè)計和驗證的定制化咨詢、代管和部署服務(wù)，該服務(wù)稱為IMG Edge。
本文引用地址：http://cafeforensic.com/article/201909/404551.htm通過使用Imagination的數(shù)據(jù)中心、工具、方法學(xué)、虛擬平臺和硬件加速器，再結(jié)合定制化的、覆蓋廣泛的領(lǐng)域?qū)I(yè)知識，客戶將節(jié)省上千萬美元和數(shù)月的項目時間。
IMG Edge由平臺、咨詢和方法三個主要領(lǐng)域的元素組成。它包括最先進的設(shè)計、驗證和確認(rèn)解決方案，以咨詢和Imagination的端到端設(shè)計和驗證專業(yè)知識為后盾，這些專業(yè)知識涉及從最低級硬件組件到復(fù)雜消費設(shè)備的所有內(nèi)容。
IMG Edge是完全個性化的，以滿足客戶及其關(guān)鍵市場（如汽車、消費、工業(yè)、移動和安全）的個性化需求。
在IMG Edge的方案中解答了一個過去無人能解的難題——就是當(dāng)以計算為中心的、位于面向關(guān)鍵市場的產(chǎn)品核心位置的SoC使用數(shù)據(jù)路徑繁復(fù)的設(shè)計時，如何在這些設(shè)計中同時快速驗證復(fù)雜的控制邏輯和數(shù)學(xué)運算邏輯。該方法可以處理復(fù)雜的64位算術(shù)邏輯單元（ALU），同時提供絕對的數(shù)據(jù)一致性驗證。IMG Edge包含幾種先進的方法，但并非所有方法都已公開披露。
Without IMG Edge 未使用IMG Edge | With IMG Edge 使用IMG Edge | |
Design 1 設(shè)計1 | A bounded 1200-cycle proof in 30 mins 30分鐘內(nèi)進行有限的1200個周期驗證 | Full convergence in 2 seconds 2秒內(nèi)完全收斂 |
Design 2 設(shè)計2 | A bounded 27-cycle proof in 12 hours 12小時內(nèi)進行有限的27個周期驗證 | Full convergence in 9 seconds 9秒內(nèi)完全收斂 |
Design 3 設(shè)計3 | No progress by any vendor 任何供應(yīng)商都沒有進展 | Full convergence in 14 seconds 14秒內(nèi)完全收斂 |
Design 4 設(shè)計4 | No progress by any vendor 任何供應(yīng)商都沒有進展 | Full convergence in 30 mins 30分鐘內(nèi)完全收斂 |
圖1 所有主要供應(yīng)商使用和未使用IMG Edge進行設(shè)計的結(jié)果對比
Imagination驗證平臺副總裁Colin McKellar表示：“我們相信IMG Edge可以改變游戲規(guī)則，支持用戶在驗證過程的早期就消除深層漏洞，從而為企業(yè)節(jié)省時間并大幅降低成本。它是同類產(chǎn)品中最全面的產(chǎn)品，基于我們超過25年、歷經(jīng)10代SoC開發(fā)的豐富經(jīng)驗而打造。這為我們提供了豐富的系統(tǒng)知識和一整套擁有專利的流程，讓我們知道如何實現(xiàn)關(guān)鍵的業(yè)務(wù)成果。我們的專業(yè)知識和獨特的方法學(xué)結(jié)合在一起，意味著IMG Edge可以加快我們客戶進入市場的進程，并為他們節(jié)省數(shù)百萬美元的預(yù)生產(chǎn)成本?！?/p>
評論