本文翻譯轉(zhuǎn)載于：Cadence blog

作者：Anika Sunda

人工智能（AI）無處不在。機(jī)器學(xué)習(xí)（ML）及其推理能力有望徹底改變從駕駛到做早餐等生活中的一切。驗(yàn)證是永恒的，時(shí)間不息，驗(yàn)證不止。

驗(yàn)證的目標(biāo)是在時(shí)間耗盡前實(shí)現(xiàn)收斂。大家都希望在嚴(yán)格的成本和時(shí)間限制內(nèi)讓關(guān)鍵參數(shù)完整覆蓋目標(biāo)。想象一下您坐在駕駛艙內(nèi)，向黑匣子輸入數(shù)據(jù)，等待奇跡發(fā)生（按下按鈕，你的工作就完成了）。通過 Xcelium 機(jī)器學(xué)習(xí)，這已不再是天方夜譚。

Xcelium 機(jī)器學(xué)習(xí)的核心重點(diǎn)是檢測(cè)回歸，識(shí)別輸入信號(hào)與設(shè)計(jì)或功能覆蓋之間的關(guān)系，然后生成可以高效擊中覆蓋點(diǎn)的激勵(lì)。既然只需花五分之一的時(shí)間就能達(dá)到相同的覆蓋率，那么剩下的時(shí)間花在哪里了？答案非常明確——80% 的時(shí)間可以花在修復(fù)設(shè)計(jì)中發(fā)現(xiàn)新漏洞。

對(duì)驗(yàn)證工程師來說，這是個(gè)好消息，能夠?qū)⒙┒幢M早發(fā)現(xiàn)并解決。下面的示意圖引自 Intrinsix 在設(shè)計(jì)流程早期發(fā)現(xiàn)和修復(fù)漏洞的效益更高。

如果讓你夜不能寐的是吞吐量?jī)?yōu)化、回歸精煉、覆蓋收斂和找到更多漏洞， Xcelium 機(jī)器學(xué)習(xí)將是您的不二之選。

Xcelium 機(jī)器學(xué)習(xí)可以以高達(dá) 5 倍的驗(yàn)證效率應(yīng)對(duì)上述所有挑戰(zhàn)。它將幫助您實(shí)現(xiàn)精煉回歸，只執(zhí)行有意義的仿真 case，深挖隱藏漏洞并提高很難擊中覆蓋點(diǎn)的覆蓋率。

如果您的環(huán)境支持機(jī)器學(xué)習(xí)，也就是輸入狀態(tài)空間中具有高度的隨機(jī)化特性，驗(yàn)證效率甚至可以最高提升 10 倍。

Xcelium 機(jī)器學(xué)習(xí)采用用戶友好且易于使用的授權(quán)模式，并與現(xiàn)有的設(shè)計(jì)驗(yàn)證流程無縫集成。

關(guān)于 Cadence

Cadence 是電子系統(tǒng)設(shè)計(jì)領(lǐng)域的關(guān)鍵領(lǐng)導(dǎo)者，擁有超過 30 年的計(jì)算軟件專業(yè)積累。基于公司的智能系統(tǒng)設(shè)計(jì)戰(zhàn)略，Cadence 致力于提供軟件、硬件和 IP 產(chǎn)品，助力電子設(shè)計(jì)概念成為現(xiàn)實(shí)。Cadence 的客戶遍布全球，皆為最具創(chuàng)新能力的企業(yè)，他們向超大規(guī)模計(jì)算、5G 通訊、汽車、移動(dòng)設(shè)備、航空、消費(fèi)電子、工業(yè)和醫(yī)療等最具活力的應(yīng)用市場(chǎng)交付從芯片、電路板到完整系統(tǒng)的卓越電子產(chǎn)品。Cadence 已連續(xù)九年名列美國(guó)財(cái)富雜志評(píng)選的 100 家最適合工作的公司。

審核編輯：湯梓紅