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