《電子技術應用》
您所在的位置:首頁 > 可編程邏輯 > 設計應用 > 基于FPGA的數據域邊界掃描測試向量發生器的設計與實現
基于FPGA的數據域邊界掃描測試向量發生器的設計與實現
來源:電子技術應用2011年第9期
齊少華,劉 震
電子科技大學 自動化工程學院,四川 成都611731
摘要: 設計了一種基于FPGA的邊界掃描測試向量發生器,該發生器可以為邊界掃描故障診斷系統提供測試向量,并可計算測試向量的故障覆蓋率。與以往通過軟件提供測試向量的方法相比,該設計在速度和效率上有了較大提高。
中圖分類號: TP277
文獻標識碼: A
文章編號: 0258-7998(2011)09-0018-03
Design and implementation of data-domain boundary scan test vector generator based on FPGA
Qi Shaohua,Liu Zhen
School of Automation Engineering,University of Electronic Science and Technology,Chengdu 611731,China
Abstract: In this paper, an FPGA-based boundary scan test vector generator is presented.The test vector generator provides test vector for fault diagnosis boundary scan system and can calculate fault coverage. This design ,compared with previous test vectors generator via software methods, the speed and efficiency has been greatly improved.
Key words : data domain test;boundary scan;fault injection;pseudo-random sequence


 隨著超大規模集成電路技術的發展,現代電子系統中印刷電路板越來越復雜,多層板的設計也越來越普遍。由于大量使用各種表貼元件和BGA封裝元件,使得元器件的管腳密度不斷提高,采用萬用表、示波器測試芯片的傳統“探針”方法已經不能滿足要求。基于此,聯合測試行動組JTAG(Joint Test Action Group)于1988年提出了第一個邊界掃描機制的標準,即JTAG標準[1]。邊界掃描技術是應用于數字集成電路器件的測試性結構設計方法。所謂“邊界”是指測試電路被設置在IC器件邏輯功能電路的四周,位于靠近器件輸入、輸出引腳的邊界處。所謂“掃描”是指連接器件各輸入、輸出引腳的測試電路實際上是一種串行移位寄存器,這種移位寄存器叫做“掃描路徑”,沿著這條路徑可輸入由“0”和“1”組成的各種編碼,對電路進行“掃描”式檢測,從而定位故障芯片,并對芯片進行更換。然而,人們對具體電路測試向量的生成主要是依靠軟件實現,但當面臨大規模復雜問題時,基于軟件的測試向量生成方法往往在速度上受到本質是串行的計算機系統的制約,導致運算速度較慢。本文設計了一種基于FPGA的邊界掃描測試向量發生器,由于FPGA并行運行的特性,提高了測試向量產生的速度和效率。
1 數據域測試理論與算法
    數據域測試是對數字電路或系統進行故障偵查、定位和診斷[2]。數據域測試是提高數字系統可靠性的重要途徑,對當代集成電路工業具有舉足輕重的作用。
1.1 固定型故障模型
    固定型故障模型是指電路或系統中某一信號線在系統運行過程中總是固定在某一邏輯值上[3]。如果該線固定在邏輯高電平上,則稱之為固定1故障,簡記為s-a-1;如果該線固定在邏輯低電平上,則稱之為固定0故障,簡記為s-a-0。
1.2 布爾差分算法
    布爾差分法是用數學方法來研究故障的傳播,從而求得故障的測試集[4]。為了敘述方便,本文對于布爾函數f(X)=f(x1,x2,…,xn)定義如下:
    f(xi)=f(x1,x2,…,xi,…,xn)

    LFSR的邏輯功能完全由其反饋函數決定,圖1中所示的LFSR的行為完全由反饋系數Ci決定,由反饋系數Ci在二元域上定義的多項式:

稱為該線性反饋移位寄存器的特征多項式。以n次本原多項式為特征多項式的LFSR可產生周期為2n-1的偽隨機序列
3.2 故障運算機模塊
    本文以ISCAS`85基準電路的C17電路為例來設計故障運算機模塊。C17電路的單固定故障數目為34。將故障注入控制字M和Fv的寬度設置為9位,表示每個周期可以執行8個故障的計算,每5個時鐘周期,測試向量保持不變,故障運算機模塊依次注入全部故障。故障注入控制字的數據如圖2所示。表中陰影部分第一、二周期以及第三個周期中M[16]、Fv[16]表示注入固定1型故障,其余部分表示注入固定0型故障。

 

 

3.3 結果處理模塊
3.3.1 結果處理第一級模塊

    由于本系統是并行運行的,若有多個輸出則可能對同一個故障重復觀察。因此,本系統要實現故障覆蓋率的計算。結果處理第一級模塊就要消除對故障的重復計算。
3.3.2 結果處理第二級模塊
    結果處理第二級模塊是排除一個測試向量集對同一個故障在輸出端重復觀察的影響,第二級模塊以第一級模塊輸出作為輸入,可以求得故障覆蓋率,并通知邊界掃描測試系統采集測試向量。
3.4 控制模塊
    控制模塊主要協調各個模塊的工作時序,使各功能模塊可以在控制信號下有序工作。clk2是偽隨機測試向量產生模塊的時鐘頻率,clk2的時鐘周期是系統時鐘周期的k倍。設電路中的故障總數為M,每個時鐘周期可以模擬的故障數目為N,,其中int為取整。
3.5 系統結構原理圖
    使用Quartusii軟件建立系統結構原理圖如圖3所示。該系統通過并行故障模擬算法生成測試向量,可通知邊界掃描故障診斷系統對測試向量進行采集并存入存儲器中,并可以求出測試向量集的故障覆蓋率。

4 系統實現以及結果分析
4.1 資源占用

    本系統采用Altera公司的Cyclone II系列EP2C5-AF256A7芯片進行驗證與實現。系統資源占用報告如圖4所示。從報告中可以看出,硬件實現的測試向量發生器占用了較少的硬件資源,該芯片有足夠的硬件資源供系統進行優化和完善。

4.2 結果分析
    本文采用Quartusii 9.0軟件以及Modelsim軟件對各個功能模塊及系統進行仿真,分析結果表明了設計的正確性。系統的仿真結果如圖5所示,從波形中可知,所得測試向量集的故障覆蓋率達到了90%以上。實踐表明,若單固定型故障覆蓋率達到90%以上就可以實現對被測系統的大部分故障進行檢測。從仿真結果中可知本設計實現了期望的功能。
    本文采用Altera公司的FPGA器件,設計了一種基于FPGA的、為邊界掃描故障診斷系統提供測試向量的測試向量發生器。與以往的通過軟件生成測試向量的方法相比,雖然消耗了一定的硬件資源,但在速度和效率上得到了提高。由于本文生成測試向量的方法處于試驗階段,還有待優化與完善。
參考文獻
[1] 宋克柱.邊界掃描測試的原理及應用設計[J].電子技術,2001,28(10):605-606.
[2] 陳光禹.數據域測試及儀器[M].電子科技大學出版社,2001.
[3] 陳光禹.可測性設計技術[M].電子工業出版社,1997.
[4] 古天祥.電子測量原理[M].機械工業出版社,2009.
[4] 陳建武.基于FPGA的故障模擬器[D].湖南:湖南大學,2010.

此內容為AET網站原創,未經授權禁止轉載。
主站蜘蛛池模板: 在线观看免费视频网站色 | 精品色| 一个人在线视频免费观看www | 免费看黄色视屏 | 99九九精品| 日韩视频免费在线 | 波多野结衣亚洲一区二区三区 | 午夜爱爱毛片xxxx视频免费看 | 国产欧美日韩不卡在线播放在线 | hdⅹvideos成人 | 手机在线毛片 | 在线免费观看视频你懂的 | 成人黄漫画免费观看网址 | 久久99精品免费视频 | 欧美a在线观看 | 激情久久久久久久久久 | 午夜手机福利视频 | 久操色 | 免费精品精品国产欧美在线 | 男女视频在线观看免费高清观看 | 亚洲国产片 | 一级黄色录像免费观看 | 国产在线精品一区二区三区 | 超级乱淫视频播放日韩 | 日日干日日摸 | 激情综合激情五月 | 亚洲欧美日韩国产综合专区 | 伊人久久五月天 | a级黄色毛片 | 日本综合欧美一区二区三区 | 男女猛烈无遮挡性视频 | 成人看片黄a在线观看 | 久热99| 操人视频网站 | 夜夜骑天天干 | 制服 丝袜 亚洲 中文 综合 | 五月天婷婷伊人 | 免费精品录播大片黄满18周岁 | 欧美一级高清在线观看 | 久草久草视频 | 国产一区中文字幕在线观看 |