Imagination Technologies 成立于 1985 年，現(xiàn)已鞏固了其作為半導體知識產(chǎn)權 (IP) 解決方案領先供應商的地位。公司以其創(chuàng)新的 IP 設計而聞名。這些高性能、高能效的 IP 處理器服務于多個技術領域，包括移動設備、汽車、消費電子和人工智能物聯(lián)網(wǎng) (AIoT) 設備。

Imagination 的目標是助力汽車、消費電子、數(shù)據(jù)中心等行業(yè)解決復雜應用問題。該公司從零開始開發(fā) IP 模塊，旨在為客戶提供優(yōu)質(zhì)產(chǎn)品。作為分塊式延遲渲染技術的創(chuàng)造者，Imagination 有能力生產(chǎn)節(jié)能處理器。為了達到這一能效水平，他們使用了 Cadence 的 Verisium Manager、Xcelium Logic Simulation、Jasper 等工具。

“Imagination 想要從整體上解決復雜的問題，我們構建的基礎設施將幫助我們實現(xiàn)這一目標。如今，Imagination 的目標是助力汽車、消費電子、數(shù)據(jù)中心等行業(yè)，解決復雜的現(xiàn)實問題。

Imagination 是分塊式延遲渲染技術的創(chuàng)造者，它掌握著幾代原創(chuàng)技術和專利，因此有能力生產(chǎn)節(jié)能圖形處理器。我們積極參與高度復雜的軟件開發(fā)，確保我們的硬件能夠高效且節(jié)能地運行，這就是我們的工作。RTL 設計通常聚焦于驗證設計意圖，我們大規(guī)模地使用 Xcelium 驗證工具來執(zhí)行數(shù)千秒的仿真，并使用 Verisium Manager 等工具來管理這些數(shù)據(jù)和上下文，實現(xiàn)設計收斂和簽核。

在解決這些難題時，需要深入關注問題本身。因此，擁有一款每次都能派上用場的工具非常重要。Cadence 為我們提供了這樣的工具。”

—— Ozgur Ozkurt ( Senior Director of Hardware Engineering, Imagination )

“實際上，我們主要給客戶提供授權 IP，我們正在從零開始開發(fā) IP 模塊，我們在內(nèi)部進行設計和驗證，盡可能地提高 IP 質(zhì)量。

當前的 Formal 驗證工作是由專家團隊負責，但這是整體戰(zhàn)略的一部分。我們希望將來可以將 Verisium Manager 與各類指標聯(lián)系起來，從基于功能的驗證計劃開始，結合使用 Jasper 獲取的形式化結果，或使用來自 Xcelium 工具的仿真結果，以及覆蓋率反饋。近日，我們還開始使用第三方覆蓋擴展技術。這讓我們十分振奮。我們利用這種技術提升架構覆蓋率，即我們在 C 模型驗證中收集的覆蓋率，將這一數(shù)據(jù)反饋給 Verisium Manager，這樣，我們就能全面了解所有這些不同方法。

我喜歡 Verisium Manager 的一點是，它讓我們不再局限于驗證或受制于指標。實際上，我們上升了一個抽象層次，開始思考客戶最需要什么，客戶需要的是功能完備的產(chǎn)品。如果我們從這個需求出發(fā)，便可將其分解為具體的功能。這樣一來，功能就成為了我們驗證的驅(qū)動力，而不僅僅是指標。我們使用指標來評估功能驗證效果，但它們并非控制因素。

Verisium Manager 為我們提供了很大的幫助，而驗證規(guī)劃方法論則幫助我們提升抽象層次，進而提高工作效率。”

—— Pim Palmen ( Verification Architect, Imagination )

“我想每個人都會告訴你，Verisium Manager 讓他們的工作變得輕松了許多。對于我來說，我們能夠看到以前被丟棄的所有數(shù)據(jù)，這些數(shù)據(jù)都集中在一個數(shù)據(jù)庫中，我們能夠基于這些數(shù)據(jù)構建視圖，這一切都被無縫集成在 Verisium Manager 中并映射至項目的驗證計劃?！?/p>

—— Kush Raval (Software Engineer, Imagination)

2025 Cadence Design Systems, Inc. 版權所有。在全球范圍保留所有權利。Cadence、Cadence 徽標和 www.cadence.com/go/trademarks 中列出的其他 Cadence 標志均為 Cadence Design Systems, Inc. 的商標或注冊商標。