視頻格式轉換芯片的可測性設計與形式驗證.pdf

1、芯片的測試是保障芯片的成品率和節(jié)約成本的重要手段，隨著集成電路芯片的復雜度、集成度不斷提高，芯片的測試變得越來越困難，因此面向測試的設計在集成電路設計中的地位變得越來越重要。
　　可測性設計是當前為了解決測試問題而得到不斷發(fā)展的設計方法學，旨在增加額外的電路來使測試變得容易，并盡量使得測試的覆蓋面廣。為了保證測試電路的插入對電路的原有功能無負面影響，必須進行形式驗證來確保測試電路插入前后電路在功能上是一致的。
　　本文研究了

2、可測性設計方法，并對項目組開發(fā)的視頻格式轉換芯片進行了可測性設計。視頻格式轉換芯片是具有內部邏輯與嵌入式存儲器的系統(tǒng)。根據(jù)邏輯劃分，本文以從底向上的設計方法，芯片的內部邏輯采用基于EDT技術的掃描路徑設計方法，在內部邏輯中插入掃描鏈，通過預置節(jié)點狀態(tài)，移位，捕獲等操作，完成對內部節(jié)點的控制與觀測，并通過在核心邏輯外圍設計附加的解壓縮和壓縮電路，使得測試圖形可以被壓縮加密，縮小了測試圖形體積。存儲器的測試設計采用存儲器內建自測試，根據(jù)提出

3、的具有高故障覆蓋率的March23N算法，設計了BIST控制器以及響應分析比較器。BIST控制器設計的核心是算法設計，針對目前常規(guī)的March算法不能覆蓋的故障，提出了一種新的能夠覆蓋所有故障的March算法，該算法具有對稱性和高覆蓋率。在芯片的頂層設計邊界掃描邏輯，與內部掃描鏈和存儲器相連接，并設計指令寄存器和指令，通過指令控制測試的進行，最終形成一套完整的測試系統(tǒng)。
　　仿真驗證表明，本文設計的內部掃描測試能夠對芯片達到98.