【摘要】：隨著科學(xué)技術(shù)尤其是半導(dǎo)體工藝與通信技術(shù)的快速發(fā)展,FPGA技術(shù)日趨成熟,采用FPGA的設(shè)計(jì)愈加廣泛.隨著系統(tǒng)設(shè)計(jì)的復(fù)雜化,其FPGA的驗(yàn)證在整個(gè)開發(fā)周期中占據(jù)的比重越來越大.針對以上背景,本文采用系統(tǒng)功能驗(yàn)證中常用的自動(dòng)測試模式生成(ATPG)算法為基本框架的ATALANTA開源軟件,研究基于FPGA的基本查找表(LUT)結(jié)構(gòu)的ATPG驗(yàn)證技術(shù),提出了一種基于LUT的ATPG驗(yàn)證算法和這種算法在ATALANTA軟件中的實(shí)現(xiàn)方法,實(shí)驗(yàn)結(jié)果表明了這種方法的可行性.
【作者單位】： 蘭州大學(xué)信息科學(xué)與工程學(xué)院;
【基金】：國家自然科學(xué)基金項(xiàng)目(61073193,61300230) 自然科學(xué)基金(61402121) 中央高�；究蒲袠I(yè)務(wù)費(fèi)專項(xiàng)資金(861914)
【分類號】：TN407

【參考文獻(xiàn)】

相關(guān)期刊論文 前2條

1 楊士元;胡梅;王紅;;模擬電路軟故障診斷的研究[J];微電子學(xué)與計(jì)算機(jī);2008年01期

2 曾文斌;組合邏輯電路的測試故障模型[J];計(jì)算機(jī)學(xué)報(bào);1990年07期

相關(guān)碩士學(xué)位論文 前4條

1 何曦;基于優(yōu)化ATPG的可測試性設(shè)計(jì)與實(shí)現(xiàn)[D];電子科技大學(xué);2016年

2 范逸鳴;基于LUT的FPGA時(shí)序仿真的設(shè)計(jì)與實(shí)現(xiàn)[D];西安電子科技大學(xué);2012年

3 岳園;基于邏輯錐和SAT的帶黑盒電路等價(jià)性驗(yàn)證方法[D];蘭州大學(xué);2007年

4 周寧;集成電路等價(jià)性驗(yàn)證系統(tǒng)設(shè)計(jì)及其實(shí)現(xiàn)[D];蘭州大學(xué);2007年

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

1 周江Z，

本文編號：2533175