本文關(guān)鍵詞：基于路徑約束求解的多目標(biāo)狀態(tài)激勵(lì)生成方法

  更多相關(guān)文章： 激勵(lì)生成 難達(dá)狀態(tài) 抽象引導(dǎo)模擬 路徑約束求解

【摘要】：該文提出了一種針對多個(gè)難達(dá)目標(biāo)狀態(tài)的激勵(lì)生成方法,該方法基于抽象引導(dǎo)的半形式化方法框架.采用一個(gè)評估函數(shù)對候選狀態(tài)進(jìn)行評價(jià),該評估函數(shù)綜合考慮了從一個(gè)狀態(tài)到不同目標(biāo)狀態(tài)的全局抽象距離信息,評價(jià)出從各個(gè)狀態(tài)到達(dá)某個(gè)目標(biāo)狀態(tài)或者同時(shí)到達(dá)多個(gè)目標(biāo)狀態(tài)的潛能,并以此指導(dǎo)模擬過程直到最終搜索到一條能同時(shí)覆蓋多個(gè)目標(biāo)狀態(tài)的狀態(tài)序列.此外,該文采用了基于路徑約束求解的激勵(lì)生成方式,這種方式結(jié)合了具體模擬和符號模擬技術(shù),符號模擬沿著具體執(zhí)行路徑提取分支條件構(gòu)成路徑約束,通過約束條件的翻轉(zhuǎn)與求解能夠有效地產(chǎn)生輸入向量,以一種較均衡的模式遍歷設(shè)計(jì)的狀態(tài)空間,幫助驗(yàn)證快速覆蓋到目標(biāo).實(shí)驗(yàn)結(jié)果表明,該文方法能夠有效地同時(shí)驗(yàn)證設(shè)計(jì)中的多個(gè)目標(biāo)狀態(tài).
【作者單位】： 中國科學(xué)院計(jì)算技術(shù)研究所計(jì)算機(jī)體系結(jié)構(gòu)國家重點(diǎn)實(shí)驗(yàn)室;中國科學(xué)院大學(xué);
【關(guān)鍵詞】： 激勵(lì)生成 難達(dá)狀態(tài) 抽象引導(dǎo)模擬 路徑約束求解
【基金】：國家自然科學(xué)基金(61432017,61176040) 國家“九七三”重點(diǎn)基礎(chǔ)研究發(fā)展規(guī)劃項(xiàng)目基金(2011CB302501)資助~~
【分類號】：TN407
【正文快照】： 1 引言 隨著集成電路設(shè)計(jì)規(guī)模與復(fù)雜度的增加,功能驗(yàn)證已經(jīng)成為設(shè)計(jì)周期中的一個(gè)重要環(huán)節(jié).其中,如何高效地產(chǎn)生測試向量來覆蓋難達(dá)狀態(tài)是一個(gè)相當(dāng)有難度的問題.目前,在工業(yè)設(shè)計(jì)驗(yàn)證中占主導(dǎo)地位的驗(yàn)證方法仍然是傳統(tǒng)的模擬方法,因?yàn)槟M驗(yàn)證方法可擴(kuò)展性好,能夠處理大規(guī)模的

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前4條

1 朱莉;李興國;婁國偉;;基于JTC技術(shù)的目標(biāo)狀態(tài)類型聯(lián)合識別算法研究[J];現(xiàn)代雷達(dá);2010年11期

2 馬中華;吳國富;陳敏;;利用TD估計(jì)目標(biāo)狀態(tài)[J];應(yīng)用數(shù)學(xué)學(xué)報(bào);2007年01期

3 彭克勤;機(jī)動目標(biāo)狀態(tài)估值器設(shè)計(jì)及其微機(jī)實(shí)現(xiàn)[J];電光與控制;1990年02期

4 ;[J];;年期

中國重要會議論文全文數(shù)據(jù)庫 前1條

1 逄曉鳴;汪玲;;調(diào)節(jié)模式理論述評[A];第十二屆全國心理學(xué)學(xué)術(shù)大會論文摘要集[C];2009年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前1條

1 許東;因果關(guān)系和目標(biāo)狀態(tài)對情境模型加工的影響[D];福建師范大學(xué);2012年

，

本文編號：754360