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

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

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

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

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

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

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

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

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

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

—— Pim Palmen ( Verification Architect, Imagination )

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

—— Kush Raval (Software Engineer, Imagination)

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