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