本文關(guān)鍵詞：應(yīng)用不可滿足子式的解碼電路綜合優(yōu)化方法，由筆耕文化傳播整理發(fā)布。

【摘要】：解釋布爾公式不可滿足的原因在很多領(lǐng)域都具有實(shí)際的應(yīng)用需求,而最小不可滿足子式能夠?yàn)橹T如電路的自動(dòng)綜合等應(yīng)用領(lǐng)域中的不可滿足原因提供最精確的解釋。因此,將兩種能夠高效求解最小不可滿足子式的算法——分支-限界算法與貪心遺傳算法,集成到解碼電路的自動(dòng)綜合工具中。采用通信領(lǐng)域的標(biāo)準(zhǔn)編碼電路作為測試集,將兩種算法進(jìn)行對比。實(shí)驗(yàn)結(jié)果表明,在運(yùn)行時(shí)間與每秒剔除的短句數(shù)方面,貪心遺傳算法優(yōu)于分支-限界算法;不可滿足子式在解碼電路的自動(dòng)綜合過程中發(fā)揮重要作用。
【作者單位】： 國防科技大學(xué)計(jì)算機(jī)學(xué)院;
【關(guān)鍵詞】： 電路綜合 形式化方法 可滿足性求解 不可滿足子式
【基金】：國家自然科學(xué)基金資助項(xiàng)目(61103083,61133007) 國家重點(diǎn)研發(fā)計(jì)劃資助項(xiàng)目(2016YFB0200203)
【分類號】：TN47
【正文快照】： 在超大規(guī)模集成(Very Large ScaleIntegrated,VLSI)電路芯片中,通常都會設(shè)計(jì)各種各樣的編碼和解碼電路,尤其是在與通信相關(guān)的芯片設(shè)計(jì)過程中,往往會遇到很多非常復(fù)雜的編碼與解碼電路。編碼電路通常根據(jù)某種規(guī)則將原始數(shù)據(jù)編碼或產(chǎn)生校驗(yàn)碼,常見的包括循環(huán)冗余校驗(yàn)(Cyclic Red

【相似文獻(xiàn)】

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

1 邵明;李光輝;李曉維;;提取極小布爾不可滿足子式[A];全國第13屆計(jì)算機(jī)輔助設(shè)計(jì)與圖形學(xué)（CAD/CG）學(xué)術(shù)會議論文集[C];2004年

  本文關(guān)鍵詞：應(yīng)用不可滿足子式的解碼電路綜合優(yōu)化方法，，由筆耕文化傳播整理發(fā)布。

本文編號：487466