中文引用格式: 徐加山,姚舒雨,徐志磊. 使用Cadence AI技術(shù)加速驗(yàn)證效率提升[J]. 電子技術(shù)應(yīng)用,2024,50(8):32-36.
英文引用格式: Xu Jiashan,Yao Shuyu,Xu Zhilei. Accelerating verification efficiency with Cadence AI technology[J]. Application of Electronic Technique,2024,50(8):32-36.
引言
隨著高性能和低延時(shí)等需求的增加,芯片設(shè)計(jì)復(fù)雜度越來越高,漏洞也越來越多,修復(fù)也變得愈加困難,IC驗(yàn)證工程師要在規(guī)定時(shí)間內(nèi)完成所有功能驗(yàn)證工作變得日益艱巨。因此對(duì)能加速驗(yàn)證工作的工具需求也日益迫切。引入新的工具和基于人工智能的方法,是可以提高驗(yàn)證效率的手段。一個(gè)完整的IC驗(yàn)證流程包含驗(yàn)證需求/策略制定、驗(yàn)證平臺(tái)搭建、驗(yàn)證用例編寫、仿真執(zhí)行、debug調(diào)試、覆蓋率收斂、驗(yàn)證報(bào)告生成等階段。其中EDA工具在debug調(diào)試和覆蓋率收斂提效方面推出了解決方案。Verisium(人工智能驅(qū)動(dòng)的驗(yàn)證平臺(tái))就是利用大數(shù)據(jù)提高驗(yàn)證效率,主要體現(xiàn)在debug調(diào)試方面,它能實(shí)現(xiàn)以下功能:對(duì)存在相同錯(cuò)誤而導(dǎo)致失敗的測試進(jìn)行自動(dòng)分組,幫助驗(yàn)證工程師在正確與錯(cuò)誤測試中更方便地比較并找到錯(cuò)誤點(diǎn),以及在編輯工具上固定某個(gè)標(biāo)簽并分析仿真日志和代碼簽入之間的關(guān)系。Xcelium ML(Machine Learning)采用機(jī)器學(xué)習(xí)技術(shù)可實(shí)現(xiàn)功能覆蓋率快速收斂,大大提高驗(yàn)證仿真效率,同時(shí)有效節(jié)省服務(wù)器計(jì)算資源。另外隨著人工智能的發(fā)展,本文也探索了生成式大模型對(duì)debug調(diào)試及用例編寫等方面解決方案。
本文詳細(xì)內(nèi)容請(qǐng)下載:
http://m.ihrv.cn/resource/share/2000006118
作者信息:
徐加山1,姚舒雨1,徐志磊2
(1.深圳市中興微電子技術(shù)有限公司,江蘇 南京 210012;
2.上海楷登電子科技有限公司, 上海200120)