高度復雜的SoC設計正面臨著高可靠性、高質量、低成本以及更短的產品上市周期等日益嚴峻的挑戰。可測性設計通過提高電路的可測試性,從而保證芯片的高質量生產和制造。借助于EDA技術,可以實現可測試性設計的自動化,提高電路開發工作效率,并獲得高質量的測試向量,從而提高測試質量、低測試成本。
半導體工藝的進步以摩爾定率的速度推動著集成電路產業的發展。隨著芯片的工藝尺寸越來越細,集成度越來越高,半導體工藝加工中可能引入越來越多的各種失效。傳統的利用功能仿真向量進行生產制造芯片的后期測試,雖然有的工程師認為由于充分測試過電路的功能,所以功能測試向量應該可以滿足市場對產品質量的需求,然而實際上功能測試向量還很不完備,亞微米、深亞微米制造工藝條件下,功能測試向量所能達到的測試覆蓋率只有50%到60%左右,測試的質量得不到充分保證;另外功能測試向量的產生和運行都十分昂貴;與此同時功能測試向量還不便于失效器件的故障診斷。
可測試性設計的內容與EDA技術
半導體工藝中可能引入各種失效,材料的缺陷以及工藝偏差都可能導致芯片中電路連接的短路、斷路以及器件結間穿通等問題。而這樣的物理失效必然導致電路功能或者性能方面的故障,對這些電學故障進行邏輯行為抽象就稱為故障模型。例如,最常用的一種類型的電學故障可以抽象為單元中的信號狀態被鎖定在邏輯“0”或者邏輯“1”上(SA0或者SA1),這種類型物理失效的抽象模式被稱為“Stuck-at”的故障模型;對于深亞微米制造工藝的芯片,其高性能的測試中還必須結合多種實速(at-speed)故障模型,包括躍遷故障模型、路徑延時故障模型和IDDQ故障模型等。
Stuck-at故障模型示例如圖1所示,其測試向量及測試結果的判斷如該真值表所示。通常情況下,多數工藝失效問題都可以通過利用stuck-at故障模型測試到。
躍遷故障模型包括慢上升(Slow-to-Rise)和慢下降(Slow-to-Fall)兩種類型。我們以慢上升故障模型為例來說明躍遷故障模型的測試。如圖2所示,觀測窗口是電路正常工作所允許的最大躍遷延遲時間,測試時如果在觀測窗口時間段內撲獲不到期望的輸出,則認為被測試節點存在躍遷故障。
路徑延時故障模型與躍遷故障模型類似,不同的是利用路徑延時故障模型測試的電路的某一路徑的集中延時情況。如圖3所示,路徑延時故障模型測試的對象是一條時序路徑,通過對路徑的輸入端賦值進行觸發,然后在特定的觀測時間窗口內、在路徑輸出端捕獲期望輸出。
IDDQ故障模型利用在電路穩態情況下觀測電源的靜態漏電流的變化情況達到測試電路失效故障的目的。如圖4所示,如果電路的B節點存在SA1故障,晶體管N1處于常開啟狀態,測試時會發現改變B節點的輸入激勵,電源的靜態漏電流的變化不大。
可測性設計(DFT)就是確保設計的電路具備更高的可測試性并且自動產生高質量的測試向量集;其目的就是為了確保ASIC/SOC芯片在生產制造之后,通過測試的產品都能夠正確無誤地工作。可測性設計的內容主要包括:1. 測試綜合:芯片設計過程中DFT在設計中自動插入測試結構,確保生產加工后的芯片易于測試。2. ATPG:利用EDA工具自動產生可以在ATE上運行的測試向量,利用EDA工具自動診斷導致元器件失效的故障產生的原因。3. BIST:利用EDA工具自動生成被測電路的測試用IP,完成測試序列生成和輸出響應分析兩個任務,通過分析被測電路的響應輸出,判斷被測電路是否有故障。
如圖5所示是DFT解決方案:對全掃描邏輯電路的測試,設計者可以選用Fastscan,對部分掃描邏輯電路的測試,設計者可以選用Flextest,對IP或宏模塊的內建自測試,設計者也可以選用LBISTArchitect。對Memory的測試,設計者可以選用MBISTArchitect,也可以選用fastscan的子模塊功能Macrotest。采用邊界掃描電路的設計,設計者可以選用BSDArchitect。
測試綜合完成自動插入全掃描或部分掃描的測試邏輯,大大增強了IC和ASIC設計的可測試性。它在設計過程的早期階段進行可測性分析,在測試向量生成和掃描自動綜合之前發現并修改違反測試設計規則的問題,盡可能提高ATPG的效率并縮短測試開發的周期。
測試綜合工具DFTAdvisor利用友好的圖形用戶界面引導完成可測性分析,執行全面的測試規則檢查,完成并優化掃描邏輯插入,保證在ATPG之前不存在任何遺留的可測性問題。其主要特點如下:
1. 支持智能化的、層次化的測試邏輯的自動化插入;
2. 通過密集的基于仿真的測試規則檢查(超過140條測試規則)來確保高效率的可測性分析;在設計的早期階段,發現并糾正設計中影響可測性的問題;
3. 支持Mux-DFF、Clocked-Scan和LSSD掃描結構;
4. 同時支持全掃描與部分掃描的識別與插入;提供了多種可選的部分掃描插入方式,并可自動選擇部分掃描方式;
5. 通過自動測試點插入與綜合來加強設計的可測性;
6. 通過插入測試邏輯電路來自動糾正設計中違反可測性設計規則的部分;
7. 支持版圖層次上的掃描鏈單元的次序控制,以提高測試邏輯插入過程中的時序有效性;
8. 為后續的ATPG過程提供充分支持,生成ATPG工具要求的全部SETUP文件,可直接調用ATPG 工具確保快速DFT流程;
9. 支持UNIX平臺(Solaris, HP-PA) 及LUNIX操作平臺。
ATPG是指測試向量自動生成。它是可測試性設計的核心,因為生成測試向量的質量好壞直接關系到測試成本的高低。一方面ATPG工具針對Stuck-at故障模型、躍遷故障模型、路徑延時故障模型、IDDQ模型生成高質量的測試向量,另一方面ATPG工具利用生成的測試向量進行故障仿真和測試覆蓋率計算。ATPG算法又分為組合ATPG和時序ATPG兩種。
FastScan測試向量自動生成工具可以針對全掃描IC設計或規整的部分掃描設計生成高質量的的測試向量。其主要特點如下:
1. 支持對全掃描設計和規整的部分掃描設計自動生成高性能、高質量的測試向量;
2. 支持多種故障模型:stuck-at、transition、critical path和IDDQ;
3. 提供超過140條基于仿真的測試設計規則檢查;
4. 提供高效的靜態及動態測試向量壓縮性能;
5. FastScan CPA選項支持在速測試用的路徑延遲測試向量生成;
6. FastScan MacroTest選項支持小規模的嵌入模塊或存儲器的測試向量生成;
7. FastScan Diagnostics選項可以通過分析ATE機上失敗的測試向量來幫助定位芯片上的故障;
8. ASICVector Interfaces選項可以針對不同的ASIC工藝與測試儀來生成測試向量;
9. 支持32位或64位的UNIX平臺(Solaris, HP-PA)及LUNIX操作平臺。
FlexTest的時序ATPG算法使它在部分掃描設計的ATPG領域擁有巨大的優勢,它也可以顯著提高無掃描或全掃描設計的測試碼覆蓋率;其內嵌故障仿真器可以估計功能測試碼的故障覆蓋率,然后在此基礎上生成部分掃描并進行ATPG。其主要特點如下:
1. 可以使用已有的功能測試向量進行故障仿真;計算測試覆蓋率;
2. 針對一般的時序電路或部分掃描電路的進行高效ATPG與故障仿真;
3. FlexTest Distributor選項提供的網絡分布處理技術可以加速ATPG與故障仿真過程;
4. 支持多種故障模型:stuck-at、transition和IDDQ;
5. 提供超過140條基于仿真的測試設計規則檢查;
6. 與FastScan和DFTAdvisor共享數據庫,使得DFT與ATPG流程效率更高。
基于嵌入式壓縮引擎的ATPG算法是下一代ATPG工具的發展趨勢。TestKompress提供的嵌入式壓縮引擎可以作為通用的IP很方便地集成到用戶的設計,EDT(Embedded Deterministic Test)算法在保證測試質量的前提下顯著地(目前可達到100倍)壓縮測試向量數目,同時大大提高了測試運行的速度。其主要特點如下:
1. 在保證測試質量的前提下成百倍地減少測試向量的數目,成百倍地降低測試成本;
2. 引入嵌入式壓縮引擎IP不需要對系統邏輯進行任何更改,對電路的性能沒有任何影響;
3. 支持多種故障模型:stuck-at、瞬態和路徑延遲、IDDQ;
4. 支持多種測試向量類型:Basic、clock-sequential、RAM-Sequential、時鐘PO和多負載;
5. 與FastScan和DFTAdvisor共享數據庫,使得DFT與ATPG流程效率更高。
廣義的BIST技術包括LBIST、MBIST和邊界掃描技術。LBIST技術是指在ASIC、IC或IP內核中自動插入內建自測試電路,以保證較高的故障覆蓋率。由于它不需要在ATE機上加載測試向量,而且可以在芯片的工作頻率下進行實速測試,所以它可以縮短測試時間,降低測試成本。LBIST工具可以自動生成BIST結構(BIST控制器、測試向量發生器和電路特征壓縮器)的可綜合RTL級HDL描述,并快速進行故障仿真以確定故障覆蓋率。Mentor公司提供的LBIST工具BISTArchitect的主要特點如下:
1. 內建自測試技術降低了芯片測試對ATE測試機memory容量的要求;
2. 針對部件或系統進行內建自測試(BIST)的自動綜合、分析與故障仿真,便于進行設計與測試的復用;
3. 實速測試和多頻率測試確保了高性能、高質量的測試設計;
4. 全面的BIST設計規則檢查確保了易用性、減少了設計時間、縮短了設計面市時間;
5.采用MTPI技術能夠在獲得最大故障覆蓋率的同時將對設計的影響減至最低;
6. BIST部件的RTL綜合和與工藝無關,可以保證設計復用;
7. 配合BSDArchetect可實現層次化的LBIST電路連接關系。
MBIST技術可以自動實現存儲器單元或陣列的RTL級內建自測試電路。MBIST的EDA工具一般支持多種測試算法,可以對一個或多個內嵌存儲器自動創建BIST邏輯,并完成BIST邏輯與存儲器的連接。它能夠在多個存儲器之間共享BIST控制器,實現并行測試,從而顯著縮短測試時間和節約芯片面積。MBIST結構中還可以包括故障的自動診斷功能,方便了故障定位和開發針對性的測試向量。MBISTArchitect以其簡捷、易用、支持用戶自定義測試算法等技術優勢而被推崇為業界市場份額最大的MBIST工具。其主要特點如下:
1. 自動插入與連接BIST控制器到嵌入式存儲器或外部存儲器,縮短了設計與測試時間;
2.生成可綜合的VHDL或Verilog描述、仿真用的測試基準和綜合命令文件,保證通暢的設計流程和靈活的目標工藝映象;
3. 支持對多種形式的存儲單元測試,包括:SRAM、ROM、DRAM和多端口RAM;
4. 支持多種存儲器測試算法,包括:March C+、檢查板、ROM、特定地址和數據保持等等;
5. 支持用戶自定義的存儲器測試算法;
6. 能夠提供診斷信息以進行失效存儲單元的定位;
7. 提供可選擇的存儲單元自動修復功能,提高成品率。
邊界掃描測試技術將輸入輸出單元置換為掃描單元,并且通過測試存儲端口(TAP)來控制這些輸入輸出單元的移位輸出從而實現芯片級互聯測試以及實現所有測試技術的連接,創建邊界掃描結構并且為設計中其它的測試方法包括掃描,存儲器BIST和邏輯BIST提供芯片級的控制。
邊界掃描EDA工具可以在邏輯綜合之前的RTL設計階段自動生成符合IEEE 1149.1定義的邊界掃描電路結構,并將它插入到原來的設計中。BSDArchitect工具讀入IC、ASIC或MCM設計的行為級VHDL或Verilog描述,生成符合IEEE1149.1邊界掃描標準的VHDL或Verilog電路描述,并將它插入到原來的設計中;為實現自動驗證,它還可以生成一個可用于任何VHDL或Verilog仿真器的測試基準文件;此外,BSDArchitect形成設計的BSDL模型,為生成測試向量做準備。為了實現更好的性能可預測性和設計復用,也可以直接插入實現在特定工藝上的邊界掃描電路。在SOC測試中,BSDArchitect還利用IEEE 1149.1邊界掃描結構中的自定義指令進行全片的測試管理。
DFT技術面臨的挑戰及其發展趨勢
DFT技術面臨的挑戰主要體現在兩個方面:一是SOC產品的可測試性設計需要ATPG和BIST技術相結合,二是0.13um以下的工藝制造工藝需要處理更多的失效故障模型,具體表現在(at-speed)實速測試。
當今超大規模的IC設計往往具有部分或全部SOC設計的特征:既存在邏輯電路,也存在存儲器單元,甚至包括一些設計重用的宏模塊和嵌入式的處理器內核。DFT是一種基于結構化的測試技術,針對這些不同的電路結構,對應的DFT技術也呈現多樣化趨勢。舉例來說,通信類超大規模集成電路往往包含大量的、分布式的、小容量存儲器陣列,如果利用MBIST技術進行測試,由于大面積MBIST電路的插入,往往會影響存儲器陣列周圍的布線通路,從而影響電路的時序特性。Mentor公司通過研究利用ATPG算法對存儲器陣列進行測試,成功推出了Macrotest這樣的EDA工具。如圖6所示,工程師對存儲器陣列的測試面臨了更多的選擇,同樣也需要一種折中考慮。
深亞微米制造工藝0.13um和90nm以下的工藝加工線寬引發的失效故障往往與電路的工作速度相關。對深亞微米制造工藝的芯片必須生成實速測試向量進行測試,才能夠保證芯片的質量。然而,實速測試向量的引入一方面增加了故障覆蓋率,另一方面也增加了測試向量的數目。為了解決這個問題,可以采用嵌入式壓縮引擎的ATPG工具,犧牲硅片面積,換取測試成本。如圖7所示,去壓縮器(Decompressor)和比較器(Compactor)可以作為通用的IP很方便地集成到用戶的設計,引入嵌入式壓縮引擎IP不需要對系統邏輯進行任何更改,對電路的性能沒有任何影響;一方面利用片上壓縮技術減少ATE機上存儲的測試向量數目,另一方面利用片上壓縮技術增加掃描鏈的個數以減少掃描鏈的長度,減少測試時間,從而成百倍地降低測試成本。
評論
查看更多