中文引用格式: 植玉,馬業(yè)欣,徐嶸. 使用Xcelium Machine Learning技術(shù)加速驗(yàn)證覆蓋率收斂[J]. 電子技術(shù)應(yīng)用,2023,49(8):19-23.
英文引用格式: Zhi Yu,Ma Yexin,Xu Rong. Accelerating verification coverage convergence using Xcelium Machine Learning technology[J]. Application of Electronic Technique,2023,49(8):19-23.
0 引言
覆蓋率驅(qū)動(dòng)的隨機(jī)測(cè)試生成方法是目前隨機(jī)測(cè)試生成技術(shù)研究的熱點(diǎn),其目標(biāo)是為了提高驗(yàn)證的自動(dòng)化程度,加快驗(yàn)證收斂過(guò)程,提高驗(yàn)證效率,即通過(guò)覆蓋率指導(dǎo)測(cè)試向量生成,進(jìn)一步減少重復(fù)測(cè)試向量,加速功能驗(yàn)證收斂[1]。
如圖1所示,通常地,為加快覆蓋率收斂,驗(yàn)證人員根據(jù)覆蓋率分析結(jié)果,找到相關(guān)隨機(jī)點(diǎn)乃至隨機(jī)變量進(jìn)行分析,然后合理地調(diào)整隨機(jī)變量的相應(yīng)約束,反復(fù)迭代以達(dá)成覆蓋率收斂的目標(biāo)。這樣做,存在三個(gè)問(wèn)題:(1)浪費(fèi)人力,重復(fù)的事情本應(yīng)留給程序去做而人來(lái)做了;(2)陷入驗(yàn)證方法學(xué)應(yīng)用誤區(qū),驗(yàn)證方法的天平嚴(yán)重偏向了定向驗(yàn)證,隨機(jī)激勵(lì)隨機(jī)力度不夠;(3)增加漏測(cè)風(fēng)險(xiǎn),壓縮了隨機(jī)空間,可能會(huì)導(dǎo)致存在缺陷的空間未能隨機(jī)到而錯(cuò)過(guò)發(fā)現(xiàn)缺陷的機(jī)會(huì)。
本文詳細(xì)內(nèi)容請(qǐng)下載:http://ihrv.cn/resource/share/2000005480
作者信息:
植玉1,馬業(yè)欣1,徐嶸2
(1.深圳市中興微電子技術(shù)有限公司,廣東 深圳 518054;2.楷登企業(yè)管理(上海)有限公司深圳分公司,廣東 深圳 518000)