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

【參考文獻】

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

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

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

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

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

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

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

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

【共引文獻】

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

1 周江Z，

本文編號：2533175