跳變時延故障向量生成方法和裝置制造方法
【專利摘要】本發明提供一種跳變時延故障向量生成方法和裝置，其中，該方法包括：確定第一使能觸發器，所述第一使能觸發器用于控制時間例外路徑的源端觸發器；從隨機產生的測試向量中篩選出跳變時延故障向量，所述跳變時延故障向量使得所述第一使能觸發器掃描移位結束時的電平值為無效狀態。因此在將該跳變時延故障向量用于測試過程中時，不會觸發時間例外路徑，避免了現有技術中測量結果時而成功時而失敗的現象，從而提高了測試準確性和跳變時延故障向量的穩定性，而且不需要如現有技術般在生成跳變時延故障向量的過程中對時間例外路徑進行分析，降低了生成跳變時延故障向量的ATPG工具的復雜度。
【專利說明】跳變時延故障向量生成方法和裝置
【技術領域】
[0001]本發明涉及測試【技術領域】，尤其涉及一種跳變時延故障向量生成方法和裝置。
【背景技術】
[0002]芯片在制造過程中受制造工藝、制造材料等因素的影響，不可避免地會帶來一些缺陷，因此，需要對芯片進行測試以排除具有缺陷的芯片。目前可以采用跳變時延故障模型對芯片進行測試，即使用自動測試圖形向量生成(Automatic Test Pattern Generation,簡稱:ATPG)工具根據跳變時延故障模型產生測試向量，再使用該測試向量對芯片的各路徑進行測試，即該測試向量使得路徑的源端在一個時鐘沿啟動一次跳變，并且在下一個時鐘沿捕獲到這次跳變對路徑的終端的影響時，則測試芯片正常，否則測試芯片故障。由于測試向量針對的是一個時鐘周期，而時間例外路徑(例如虛擬路徑、多周期路徑)是在單周期內無法完成的路徑，因此，需要區別哪些路徑為時間例外路徑。
[0003]現有技術中，在測試向量產生之前，對各時間例外路徑進行靜態分析，然后ATPG工具在產生測試向量時對各時間例外路徑進行動態分析，即模擬檢測時間例外路徑的源端觸發器的值，如果源端觸發器的值有跳變，將跳變后的值保存，同時源端觸發器的值注入為“X”值，該X為既為非O也為非I的值，這個“X”值會沿著時間例外路徑的邏輯錐向前傳遞。如果終端觸發器沒有檢測到“X”值，則將源端觸發器的值恢復為上述保存的跳變后的值，然后根據源端觸發器的值為跳變后的值計算出終端觸發器的值，并將終端觸發器的值保存在測試向量中。如果終端觸發器檢測到“X”值，則認為該時間例外路徑被觸發，并將終端觸發器的值為“X”值保存在測試向量中。從而測試向量在對各路徑進行測試時，根據時間例外路徑對應的終端觸發器的值為“X”值，確定出該時間例外路徑的測試結果成功。
[0004]然而，現有技術中，如果存在多條時間例外路徑共用同一個終端觸發器，雖然在生成測試向量的過程中在該終端觸發器未檢測到“X”值，即表示該測試向量不會引起該終端觸發器發生跳變，但是在實際測試過程中，由于每條時間例外路徑的時延不同，存在該終端觸發器發生跳變的可能，會造成測試結果時而成功時而失敗的現象，從而降低了測試向量的穩定性。
【發明內容】
[0005]本發明提供一種跳變時延故障向量生成方法和裝置，用于提高跳變時延故障向量的穩定性。
[0006]第一方面，本發明提供一種跳變時延故障向量生成方法，包括:
[0007]確定第一使能觸發器，所述第一使能觸發器用于控制時間例外路徑的源端觸發器；
[0008]從隨機產生的測試向量中篩選出跳變時延故障向量，所述跳變時延故障向量使得所述第一使能觸發器在掃描移位結束時的電平值為無效狀態。
[0009]第二方面，本發明提供一種跳變時延故障向量生成裝置，包括:[0010]確定單元，用于確定第一使能觸發器，所述第一使能觸發器用于控制時間例外路徑的源端觸發器；
[0011]生成單元，用于從隨機產生的測試向量中篩選出跳變時延故障向量，所述跳變時延故障向量使得所述確定單元確定的所述第一使能觸發器在掃描移位結束時的電平值為無效狀態。
[0012]本發明提供的跳變時延故障向量生成方法和裝置，通過確定控制時間例外路徑的源端觸發器的第一使能觸發器，然后生成跳變時延故障向量，該跳變時延故障向量使得第一使能觸發器在掃描移位結束時的電平值為無效狀態。因此在將該跳變時延故障向量用于測試過程中時，不會觸發時間例外路徑，避免了現有技術中測量結果時而成功時而失敗的現象，從而提高了測試準確性和跳變時延故障向量的穩定性，而且不需要在生成跳變時延故障向量的過程中對時間例外路徑進行分析，從而降低了生成跳變時延故障向量的ATPG工具的復雜度。
【專利附圖】
【附圖說明】
[0013]圖1為本發明跳變時延故障向量生成方法實施例一的流程圖；
[0014]圖2為本發明實施例提供的第一種時間例外路徑的示意圖；
[0015]圖3為本發明實施例提供的圖2中各觸發器的電平值變化關系的第一種示意圖；
[0016]圖4為本發明實施例提供的圖2中各觸發器的電平值變化關系的第二種示意圖；
[0017]圖5為本發明跳變時延故障向量生成方法實施例二的流程圖；
[0018]圖6為本發明實施例提供的第二種時間例外路徑的示意圖；
[0019]圖7為本發明實施例提供的圖6中各觸發器的電平值變化關系的第一種示意圖；
[0020]圖8為本發明實施例提供的第三種時間例外路徑的示意圖；
[0021]圖9為本發明跳變時延故障向量生成方法實施例三的流程圖；
[0022]圖10為本發明跳變時延故障向量生成方法實施例四的流程圖；
[0023]圖11為本發明跳變時延故障向量生成裝置實施例一的結構示意圖；
[0024]圖12為本發明跳變時延故障向量生成裝置實施例二的結構示意圖。
【具體實施方式】
[0025]圖1為本發明跳變時延故障向量生成方法實施例一的流程圖，如圖1所示，本實施例的執行主體為跳變時延故障向量生成裝置，例如=ATPG工具，本實施例的方法可以包括:
[0026]S101、確定第一使能觸發器，所述第一使能觸發器用于控制時間例外路徑的源端觸發器。
[0027]S102、從隨機產生的測試向量中篩選出跳變時延故障向量，所述跳變時延故障向量使得所述第一使能觸發器在掃描移位結束時的電平值為無效狀態。
[0028]本實施例中，大量時間例外路徑的源端觸發器在配置完成后，這些源端觸發器的值會一直保持不變，而這類源端觸發器通常由使能觸發器控制，當使能觸發器輸出的使能信號有效時，該源端觸發器的值才會更新，即發生跳變，而當使能觸發器的使能信號無效時，該源端觸發器的值保持不變，即不發生跳變。因此要使得源端觸發器不發生跳變，需要先確定控制該源端觸發器的使能觸發器。[0029]測試向量是隨機產生的，根據需要滿足的條件，將不符合的測試向量刪除，最終形成一組用于測試跳變時延故障的向量，即跳變時延故障向量，其中，一個跳變時延故障向量包括掃描移位使能信號、激勵和響應，其中，激勵中的數值使得第一使能觸發器在掃描移位結束時的電平值為無效狀態，掃描移位使能信號的電平值包括使能有效狀態變和使能無效狀態，其中使能有效狀態的時長與掃描鏈的長度(即，掃描鏈中包含的觸發器的個數)有關，當掃描使能信號的電平值處于使能有效狀態時會使得使能觸發器發生移位，例如使得使能觸發器的電平值變為有效狀態或者無效狀態，當掃描移位使能信號的電平值跳變為無效狀態時會使得使能觸發器的電平值保持移位結束后的電平值。
[0030]在掃描移位使能信號的電平值處于無效狀態的時間內，存在兩個時鐘，一個時鐘為啟動(launch)時鐘，另一個時鐘信號為捕捉(capture)時鐘，本實施例的跳變時延故障向量使得第一使能觸發器在掃描移位結束后的電平值為無效狀態，第一使能觸發器從掃描移位結束到到達launch時鐘之間的這段時間內，第一使能觸發器的電平值仍然是無效狀態，所以源端觸發器在launch時鐘上升沿不會發生跳變，從而使得跳變時延故障向量不會觸發該時間例外路徑。例如:在時間到達launch時鐘上升沿時,不觸發第一使能觸發器的電平值發生跳變，即第一使能觸發器在launch時鐘內可以保持無效狀態不變，此時，源端觸發器獲取的第一使能觸發器的電平值為時間到達launch時鐘上升沿時的電平值，即無效狀態，因此，源端觸發器根據第一使能觸發器的電平值為無效狀態保持電平值不變，即不跳變。
[0031]或者，在時間到達launch時鐘上升沿時，可以觸發第一使能觸發器的電平值由無效狀態變為有效狀態，雖然在launch時鐘上升沿這一當前時刻觸發第一使能觸發器的電平值發生了變化，但第一使能觸發器的電平值由無效狀態變為有效狀態需要一定的時延，因此這一當前時刻第一使能觸發器的電平值仍然為無效狀態，在這一當前時刻源端觸發器獲取的第一使能觸發器的電平值為時間到達launch時鐘上升沿這一當前時刻的電平值，即無效狀態，因此，源端觸發器根據使能觸發器的電平值為無效狀態保持電平值不變，表示第一使能觸發器未觸發源端觸發器發生跳變，因此源端觸發器在launch時鐘上升沿不跳變。
[0032]本發明實施例提供的跳變時延故障向量生成方法，通過確定控制時間例外路徑的源端觸發器的第一使能觸發器，然后生成跳變時延故障向量，該跳變時延故障向量使得第一使能觸發器在掃描移位結束時的電平值為無效狀態，因此在將該跳變時延故障向量用于測試過程中時，不會觸發時間例外路徑，避免了現有技術中測量結果時而成功時而失敗的現象，從而提高了測試準確性和跳變時延故障向量的穩定性，而且不需要如現有技術般在生成跳變時延故障向量的過程中對時間例外路徑進行分析，從而降低了生成跳變時延故障向量的ATPG工具的復雜度。
[0033]需要說明的是，電平值為“O”可以表示為無效狀態，電平值為“I”也可以表示為無效狀態，下面本發明實施例以電平值為“O”來表示無效狀態，但是本發明實施例并不以此為限。
[0034]在本發明實施例的一種可行的實現方式中，圖2為本發明實施例提供的第一種時間例外路徑的示意圖，如圖2所示，時間例外路徑為從源端觸發器到終端觸發器的路徑，并且源端觸發器是由使能觸發器所控制，當使能觸發器發出的使能信號為無效狀態，例如為“O”時，源端觸發器的電平值保持不變，即源端觸發器不會發生跳變；當使能觸發器發出的使能信號為有效狀態，例如為“ I”時，源端觸發器的電平值會發生跳變，并且源端觸發器在launch時鐘上升沿發生跳變，在capture時鐘上升沿終端觸發器也發生跳變。圖3為本發明實施例提供的圖2中各觸發器的電平值變化關系的第一種示意圖，圖3示出的為一個測試向量(即跳變時延故障向量)的測試過程中源端觸發器和使能觸發器的電平值變化的關系，圖3中示出的時鐘信號為一個跳變時延故障向量對應的測試過程內第一使能觸發器、源端觸發器、終端觸發器的時鐘信號。一個跳變時延故障向量中可以包括掃描移位使能信號，掃描移位使能信號的電平值在測試過程中的變化如圖3所示，掃描移位使能信號的電平值為I時，可以使得使能觸發器的電平值發生掃描移位，圖3所示的時鐘信號在掃描移位使能信號的電平值為I的時間內存在三個脈沖(低速脈沖)，這表示跳變時延故障向量使得第一使能觸發器可以發生三次掃描移位，第一次掃描移位后的電平值為O或I,第二次掃描移位后的掃描電平值為O或1，本實施例不做限制；但是需要注意的是第一使能觸發器在第三次掃描移位后的電平值為O。由于第一使能觸發器的電平值是時鐘信號的第三個時鐘上升沿時觸發發生跳變，即跳變為O，因此第一使能觸發器的電平值在掃描移位結束時(即掃描移位使能信號的電平值變為O時)的電平值為O。
[0035]在第一使能觸發器的電平值移位結束后，在掃描移位使能信號的電平值為O的時間內包括兩個時鐘，第一個時鐘為launch時鐘,第二個時鐘為capture時鐘,在到達launch時鐘之前，第一使能觸發器的電平值為O。在到達launch時鐘上升沿時，第一使能觸發器的電平值可以有如下兩種變化行為。
[0036]第一種變化行為:如圖3所示，在launch時鐘上升沿，觸發第一使能觸發器電平值發生變化；需要說明的是，在launch時鐘上升沿還觸發源端觸發器獲取第一使能觸發器當前的電平值，在本實施例中，第一使能觸發器的電平值由O變為I需要一定的時延，即在launch時鐘上升沿第一使能觸發器的電平值仍然為0，在滯后于launch時鐘上升沿且超前于capture時鐘上升沿之間的時間段內，第一使能觸發器的電平值會更新為I。故源端觸發器在launch時鐘上升沿獲取的第一使能觸發器的電平值為0，源端觸發器在launch時鐘上升沿保持不變，不會發生跳變，繼而終端觸發器在launch時鐘上升沿也保持不變，不會發生跳變。在capture時鐘上升沿，觸發源端觸發器捕獲第一使能觸發器當前的電平值1，源端觸發器的電平值會由O變為1，值得說明的是，源端觸發器的電平值的更新也需要一定時延，即在capture時鐘上升沿源端觸發器的電平值仍然為0，在滯后于capture時鐘上升沿的一段時間內源端觸發器的電平值會更新為1，故源端觸發器在capture時鐘上升沿保持不變，不會發生跳變，繼而終端觸發器在capture時鐘上升沿也保持不變，不會發生跳變。所以在這一測試過程中，跳變時延故障向量不會觸發時間例如路徑。
[0037]第二種變化行為:如圖4所示，在launch時鐘上升沿，保持第一使能觸發器的電平值O不變；需要說明的是，在launch時鐘上升沿還觸發源端觸發器獲取第一使能觸發器當前的電平值，故源端觸發器在launch時鐘上升沿獲取的第一使能觸發器的電平值為0，源端觸發器在launch時鐘上升沿也保持不變，不會發生跳變，繼而終端觸發器在launch時鐘上升沿也保持不變，不會發生跳變。在capture時鐘上升沿，仍然保持第一使能觸發器的電平值不變，需要說明的是，在capture時鐘上升沿還觸發源端觸發器獲取第一使能觸發器當前的電平值，故源端觸發器在capture時鐘上升沿獲取的第一使能觸發器的電平值為0，源端觸發器在capture時鐘上升沿也保持不變，不會發生跳變，繼而終端觸發器在capture時鐘上升沿也保持不變，不會發生跳變。所以在這一測試過程中，跳變時延故障向量不會觸發時鐘例外路徑。
[0038]因此，在圖2所示的應用場景中，跳變時延故障向量使得第一使能觸發器的電平值在掃描移位結束時為無效狀態，那么在launch時鐘沿，源端觸發器不會發生跳變，即不會觸發時鐘例外路徑，從而不需要在生成跳變時延故障向量的過程中對時間例外路徑進行分析，因此在將該跳變時延故障向量用于測試過程中時，不會觸發時間例外路徑，避免了現有技術中測量結果時而成功時而失敗的現象，從而提高了測試準確性和跳變時延故障向量的穩定性，而且不需要如現有技術般在生成跳變時延故障向量的過程中對時間例外路徑進行分析，從而降低了生成跳變時延故障向量的ATPG工具的復雜度。
[0039]圖5為本發明跳變時延故障向量生成方法實施例二的流程圖，如圖5所示，本實施例的執行主體為跳變時延故障向量生成裝置，例如=ATPG工具，本實施例的方法可以包括:
[0040]S201、確定第一使能觸發器，所述第一使能觸發器用于控制時間例外路徑的源端觸發器。
[0041]S202、從隨機產生的測試向量中篩選出所述跳變時延故障向量，所述跳變時延故障向量使得所述第一使能觸發器在掃描移位結束時以及啟動時鐘下降沿時的電平值為無效狀態。
[0042]本實施例中，當源端觸發器為時鐘下降沿觸發(即源端觸發器的跳變發生在時鐘下降沿)或者終端觸發器為時鐘下降沿觸發(即終端觸發器的跳變發生在時鐘下降沿)，為了避免源端觸發器在launch時鐘下降沿發生跳變或者終端觸發器在capture時鐘下降沿發生跳變，還需要保證生成的跳變時延故障向量使得控制源端觸發器的第一使能觸發器在launch時鐘下升沿時的電平值為無效狀態。
[0043]若源端觸發器為跳變發生在時鐘下降沿時的觸發器，本實施例中，第一使能觸發器在掃描移位結束時和launch時鐘下降沿時的電平值為無效狀態，表不在launch時鐘上升沿不觸發第一使能觸發器發生跳變，保持第一使能觸發器的電平值為無效狀態不變。在時間到達launch時鐘下降沿時，源端觸發器獲取第一使能觸發器的電平值，即獲取第一使能觸發器在launch時鐘下降沿時的電平值，源端觸發器獲取到的第一使能觸發器的電平值為無效狀態，因此，源端觸發器根據第一使能觸發器的電平值為無效狀態，不發生跳變，從而無論終端觸發器的跳變發生時鐘下降沿還是上升沿，該終端觸發器在capture時鐘沿不發生跳變，也就不會觸發時間例外路徑。
[0044]若源端觸發器為跳變發生在時鐘上升沿時的觸發器，終端觸發器為跳變發生在時鐘下降沿的觸發器，本實施例中，第一使能觸發器在掃描移位結束時和launch時鐘下降沿時的電平值為無效狀態，表示在launch時鐘上升沿不觸發第一使能觸發器發生跳變，保持第一使能觸發器的電平值為無效狀態不變。在時間到達launch時鐘上升沿時，源端觸發器獲取第一使能觸發器的電平值，即獲取第一使能觸發器在launch時鐘上升沿時的電平值，因此，在launch時鐘上升沿時源端觸發器根據第一使能觸發器的電平值為無效狀態，不發生跳變，繼而終端觸發器在launch時鐘下降沿也保持不變，不發生跳變。由于第一使能觸發器的電平值在launch時鐘內的電平值為無效狀態，因此第一使能觸發器的電平值在capture時鐘上升沿時的電平值為無效狀態,在時間到達capture時鐘上升沿時,源端觸發器獲取第一使能觸發器的電平值，即獲取第一使能觸發器在capture時鐘上升沿時的電平值(為無效狀態)，源端觸發器在capture上升沿保持不變，不會發生跳變，繼而終端觸發器在capture時鐘下降沿也保持不變，不會發生跳變，也就不會觸發時間例外路徑。
[0045]本發明實施例提供的跳變時延故障向量生成方法，通過確定控制時間例外路徑的源端觸發器的第一使能觸發器，然后從隨機產生的測試向量中篩選出跳變時延故障向量，所述跳變時延故障向量使得所述第一使能觸發器在掃描移位結束時以及啟動時鐘下降沿時的電平值為無效狀態。因此在將該跳變時延故障向量用于測試過程中時，不會觸發時間例外路徑，避免了現有技術中測量結果時而成功時而失敗的現象，從而提高了測試準確性和跳變時延故障向量的穩定性，而且不需要如現有技術般在生成跳變時延故障向量的過程中對時間例外路徑進行分析，從而降低了生成跳變時延故障向量的ATPG工具的復雜度。
[0046]在本發明實施例的一種可行的實現方式中，圖6為本發明實施例提供的第二種時間例外路徑的示意圖，如圖6所示，時間例外路徑為從源端觸發器到終端觸發器的路徑，并且源端觸發器是由第一使能觸發器所控制，并且源端觸發器為時鐘下降沿跳變的觸發器。圖7為本發明實施例提供的圖6中各觸發器的電平值變化關系的第一種示意圖，如何使得第一使能觸發器的電平值掃描移位結束后的電平值為無效狀態，可以參見圖3中相關的記載，此處不再贅述。
[0047]如圖7所不,第一使能觸發器掃描移位結束后,在launch時鐘內，第一使能觸發器的電平值可以有兩種變化方式，但本實施例中使得第一使能觸發器的電平值在launch時鐘下降沿的電平值為無效狀態，即第一使能觸發器在launch時鐘內保持電平值為“O”不變；在launch時鐘下降沿時，源端觸發器獲取到的第一使能觸發器的電平值為0，因此源端觸發器在launch下降沿不發生跳變，保持電平值不變，例如保持電平值為O。由于源端觸發器在launch時鐘下降沿不跳變，從而終端觸發器在capture時鐘上升沿也不跳變，電平值保持不變，進而實現了跳變時延故障向量在測試過程中不會觸發該時間例外路徑。
[0048]在本發明實施例的另一種可行的實現方式中，圖8為本發明實施例提供的第三種時間例外路徑的示意圖，如圖8所示，時間例外路徑為從源端觸發器到終端觸發器的路徑，并且源端觸發器是由第一使能觸發器所控制，并且終端觸發器為時鐘下降沿跳變的觸發器，源端觸發器為時鐘上升沿跳變的觸發器。圖8中各觸發器的電平值變化關系可以參見圖7所示，如何使得第一使能觸發器的電平值掃描移位結束后的電平值為無效狀態，可以參見圖3中相關的記載，此處不再贅述。
[0049]如圖7所不,第一使能觸發器的電平值掃描移位結束后,在launch時鐘內，第一使能觸發器的電平值可以有兩種變化方式，但本實施例中使得第一使能觸發器的電平值在launch時鐘下降沿的電平值為無效狀態，即保持第一使能觸發器在launch時鐘內的電平值為“O”不變。在launch時鐘上升沿時，源端觸發器獲取第一使能觸發器當前的電平值(為0)，源端觸發器在launch時鐘上升沿保持不變，不發生跳變；繼而終端觸發器在launch下降沿也保持不變，不發生跳變。由于第一使能觸發器在launch時鐘內保持電平值為“0”，因此第一使能觸發器在capture時鐘上升沿時的電平值也為“O”。源端觸發器在capture時鐘上升沿時獲取的第一使能觸發器當前的電平值為0，源端觸發器在capture時鐘上升沿保持不變，不發生跳變，繼而終端觸發器在capture下降沿也保持不變，不發生跳變，進而實現了跳變時延故障向量在測試過程中不會觸發該時間例外路徑。[0050]圖9為本發明跳變時延故障向量生成方法實施例三的流程圖，如圖9所示，本實施例的執行主體為跳變時延故障向量生成裝置，例如=ATPG工具，本實施例的方法可以包括:
[0051]S301、獲取用戶輸入的指示信息，所述指示信息用于指示控制時間例外路徑的源端觸發器的第一使能觸發器。
[0052]S302、根據所述指示信息，確定所述第一使能觸發器。
[0053]S303、從隨機產生的測試向量中篩選出跳變時延故障向量，所述跳變時延故障向量使得所述第一使能觸發器在掃描移位結束時的電平值為無效狀態。
[0054]本實施例中，若設計的RTL代碼是可見的，則用戶可以對每一條時間例外路徑結合RTL代碼分析該時間例外路徑的源端觸發器是否存在控制該源端觸發器的第一使能觸發器，若存在，則用戶可以將用于指示控制該源端觸發器的第一使能觸發器的指示信息輸入至跳變時延故障向量生成裝置中(例如ATPG工具)。假設用戶分析得到有三條時間例外路徑的源端觸發器是由第一使能觸發器控制的，則用戶輸入給跳變時延故障向量生成裝置的指示信息可以指示分別控制這三條時間例外路徑的源端觸發器的第一使能觸發器，跳變時延故障向量生成裝置在接收到指示信息之后，可以確定指示信息中所指示的各使能觸發器可以控制時間例外路徑的源端觸發器，然后根據指示信息所指示的各第一使能觸發器在掃描移位結束時的電平值處于無效狀態，篩選出跳變時延故障向量。
[0055]假設用戶分析得到還有兩條時間例外路徑的源端觸發器并不由第一使能觸發器所控制，則這兩條時間例外路徑的處理過程與現有技術一樣，即將這兩條時間例外路徑讀入ATPG工具中，確定時間例外路徑的源端觸發器和終端觸發器，將時間例外路徑的邏輯門進行靜態折分，對拆分的每一份找到其影響的邏輯錐，然后在生成跳變時延故障向量時，首先檢查源端觸發器的值，如果源端觸發器有跳變，其邏輯值被保存，同時在源端觸發器注入“X”值。這個“X”值會沿著時間例外路徑上的邏輯錐向前傳遞。如果終端觸發器沒有檢測到‘X’值，則保存的源端邏輯值得到恢復，并根據恢復的值計算出終端觸發器值，將計算得出的值作為無故障時終端觸發器的測試結束保存在跳變時延故障向量中。如果在終端觸發器觀測到“X”值，則認為這一時間例外路徑被觸發，終端觸發器的“X”值作為無故障時終端觸發器的測試結束保存在跳變時延故障向量中。
[0056]在一種可行的實現方式中，若指示信息用于指示控制時間例外路徑的源端觸發器的第一使能觸發器；或者，指示信息用于指示控制時間例外路徑的源端觸發器的第一使能觸發器，并且該指示信息還用于指示:時間例路徑的源端觸發器和終端觸發器均為時鐘上升沿跳變的觸發器，則跳變時延故障向量生成裝置從隨機產生的測試向量中篩選出跳變時延故障向量，所述跳變時延故障向量使得所述第一使能觸發器在掃描移位結束時的電平值為無效狀態。
[0057]在另一種可行的實現方式中，若指示信息用于指示控制時間例外路徑的源端觸發器的第一使能觸發器，并且該指示信息還用于指示控制時間例外路徑的源端觸發器和/或終端觸發器為時鐘下降沿跳變的觸發器，則從隨機產生的測試向量中篩選出所述跳變時延故障向量，所述跳變時延故障向量使得所述第一使能觸發器在掃描移位結束時以及啟動時鐘下降沿時的電平值為無效狀態。
[0058]圖10為本發明跳變時延故障向量生成方法實施例四的流程圖，如圖10所示，本實施例的執行主體為跳變時延故障向量生成裝置，例如=ATPG工具，本實施例的方法可以包括:
[0059]S401、獲取時間例外路徑。
[0060]S402、確定控制所述時間例外路徑的源端觸發器的控制觸發器。
[0061]S403、確定所述控制觸發器為第一使能觸發器。
[0062]本實施例中，用戶可以將包含時間例外路徑的時序約束文件讀入至跳變時延故障向量生成裝置中，然后跳變時延故障向量生成裝置可以從該時序約束文件中提取出所包含的時間例外路徑，將時間例外路徑的源端映射到相應的觸發器上，可以則該觸發器為時間例外路徑的源端觸發器；將時間例外路徑的終端映射到相應的觸發器上，可以則該觸發器為時間例外路徑的終端觸發器。然后對源端觸發器向后追蹤可以確定控制該源端觸發器的控制觸發器，但是控制該源端觸發器的控制觸發器不一定是第一使能觸發器，因此，在確定控制該源端觸發器的控制觸發器后，還要確定該控制觸發器是否為源端觸發器的第一使能觸發器。
[0063]具體地，可以將該源端觸發器的控制觸發器的電平值設置為“0”，若確定源端觸發器的電平值未發生跳變，則可以確定該控制觸發器為控制該源端觸發器的第一使能觸發器，并且該第一使能觸發器的電平值為“O”時，電平值處于無效狀態。也可以將源端觸發器的控制觸發器的電平值設置為“ 1”，若確定源端觸發器的電平值未發生跳變，則可以確定該控制觸發器為控制該源端觸發器的第一使能觸發器，并且該第一使能觸發器的電平值為“I”時，電平值處于無效狀態。
[0064]如果將該源端觸發器的控制觸發器的電平值設置為“O”或“1”，源端觸發器均發生了跳變，則可以確定該控制觸發器不是控制該源端觸發器的第一使能觸發器。則對于該源端觸發器對應的時間例外路徑，跳變時延故障向量生成裝置在生成跳變時延故障向量時按現有技術的方式對該時間例外路徑進行分析處理。
[0065]S404、刪除所述時間例外路徑。
[0066]本實施例中，若確定出控制時間例外路徑的源端觸發器的控制觸發器為該源端觸發器的第一使能觸發器，則可以將該時間例外路徑從跳變時延故障向量生成裝置中刪除，從而跳變時延故障向量生成裝置在生成跳變時延故障向量時不會對該時間例外路徑進行如現有技術中所述動態分析。
[0067]S405、從隨機產生的測試向量中篩選出跳變時延故障向量，所述跳變時延故障向量使得所述第一使能觸發器在掃描移位結束時的電平值為無效狀態。
[0068]在確定出控制源端觸發器的控制觸發器為第一使能觸發器時，可以從隨機產生的測試向量中篩選出跳變時延故障向量。
[0069]在一種可行的實現方式中，若該時間例外路徑的源端觸發器和終端觸發器均為時鐘上升沿跳變的觸發器，則篩選出的跳變時延故障向量使得所述第一使能觸發器在掃描移位結束時的電平值為無效狀態。
[0070]在另一種可行的實現方式中，若時間例外路徑的源端觸發器和/或終端觸發器為時鐘下降沿跳變的觸發器，則篩選出的跳變時延故障向量使得所述第一使能觸發器在掃描移位結束時以及啟動時鐘下降沿時的電平值為無效狀態。
[0071]下面以一個具體的實施例對本發明實施例進行詳細描述，跳變時延故障向量生成裝置可以為ATPG工具。[0072]步驟1:將包含時間例外路徑的時序約束文件讀入ATPG工具中。
[0073]步驟2:將時間例外路徑從約束中提取出來。
[0074]步驟3:將時間例外路徑的源端映射到相應的觸發器上，確定各時間例外路徑的源端觸發器。還可以將時間例外路徑的終端映射到相應的觸發器上，確定各時間例外路徑的終端觸發器。
[0075]步驟4:對所有時間例外路徑的源端觸發器向后追蹤，找到控制各源端觸發器的控制觸發器，進而可以確定各個控制觸發器所控制的源端觸發器。然后對這些控制觸發器，依據其控制的源端觸發器數目進行排序?？刂圃炊擞|發器數目最多的觸發器排在最前面。設定一個門限值，當控制觸發器控制的源端觸發器數目高于這一門限值時，把這些控制觸發器挑選出來，放在一個集合A中。此處可以認為控制觸發器控制的源端觸發器數目小于這一門限值時，該控制觸發器不是第一使能觸發器。
[0076]步驟5:對步驟4挑出的A集合中的控制觸發器依次進行分析。
[0077]先挑選一個控制觸發器A[i]，將其的電平值設置為‘0’，判斷該控制觸發器所控制的時間例外路徑的源端觸發器的電平值是否可以保持原來的值。如果源端觸發器的電平值可以保持原來的值，即不發生跳變，則控制觸發器A[i]是源端觸發器的使能觸發器，且使能值為“ 1”，控制觸發器的電平值為“O”時表示處于無效狀態。
[0078]如果源端觸發器的電平值不能保持原來的值，即發生了跳變，然后將控制觸發器A[i]的電平值設置為“1”，判斷源端觸發器的電平值。若源端觸發器的電平值可以保持原來的值，即不發生跳變，則控制觸發器A[i]是源端觸發器的第一使能觸發器，且使能值為“0”，控制觸發器的電平值為“ I ”時表示處于無效狀態；同時將該第一使能觸發器控制的所有源端觸發器記錄在一個以A[i]為索引的二維數組B[A[i]]中。若源端觸發器的電平值還不能保持原來的值，即發生了跳變，則控制觸發器A[i]不是第一使能觸發器；將控制觸發器A[i]從集合A中移掉，然后分析其他的控制觸發器。
[0079]在確定控制觸發器為第一使能觸發器后，再進行步驟6。
[0080]步驟6:對二維數組B，分析由控制觸發器A[i]控制的源端觸發器B[A[i]] [j]以及源端觸發器B[A[i]] [j]為起點的時間例外路徑的終點觸發器。
[0081]若控制觸發器控制的所有源端觸發器為時鐘上升沿觸發的，即源端觸發器的電平值發生跳變的時間在在時鐘上升沿，并且所有的終點觸發器都是時鐘上升沿觸發的，則控制控制觸發器A[i]的電平值在掃描移位結束時的電平值為無效狀態。如果有一個終點觸發器都是時鐘下降沿觸發的，則控制控制觸發器A[i]在掃描移位結束時的電平值和launch時鐘下降沿時的電平值都為無效狀態。若控制觸發器控制的所有源端觸發器中有一個源端觸發器為時鐘下降沿觸發的，則控制控制觸發器A[i]在掃描移位結束時的電平值和launch時鐘下降沿的電平值都為無效狀態。這樣以源端觸發器B[A[i]][j]為起點的時間例外路徑都不會被觸發，然后可以將這些時間例外路徑從約束中去掉，在跳變時延故障向量生成過程中不需要進行現有技術中所述的動態分析，從而減少了 ATPG工具的復雜度。
[0082]雖然在步驟6中去掉了一部分時間例外路徑，但在約束中還可能存一部分時間例外路徑，對于這些剩余的時間例外路徑，在生成跳變時延故障向量的過程中仍按照現有技術的方式進行處理，如對這些剩余的時間例外路徑的邏輯門進行靜態拆分，對拆成的每一份，找到其影響的邏輯錐，然后再進行動態分析。[0083]圖11為本發明跳變時延故障向量生成裝置實施例一的結構示意圖，如圖11所示，本實施例的裝置可以包括:確定單元11和生成單元12，其中，確定單元11，用于確定第一使能觸發器，所述第一使能觸發器用于控制時間例外路徑的源端觸發器；生成單元12，用于從隨機產生的測試向量中篩選出跳變時延故障向量，所述跳變時延故障向量使得確定單元11確定的所述第一使能觸發器在掃描移位結束時的電平值為無效狀態。
[0084]可選地，生成單元12具體用于從隨機產生的測試向量中篩選出跳變時延故障向量，所述跳變時延故障向量使得所述第一使能觸發器在掃描移位結束時以及啟動時鐘下降沿時的電平值為無效狀態。
[0085]本實施例的裝置，可以用于執行本發明上述方法實施例的技術方案，其實現原理和技術效果類似，此處不再贅述。
[0086]圖12為本發明跳變時延故障向量生成裝置實施例二的結構示意圖，如圖12所示，本實施例的裝置在圖11所示裝置結構的基礎上，進一步地，還可以包括:獲取單元13。
[0087]在第一種可行的實現方式中，獲取單元13用于在確定單元11確定所述第一使能觸發器之前，獲取用戶輸入的指示信息，所述指示信息用于指示控制所述時間例外路徑的源端觸發器的所述第一使能觸發器；確定單元11具體用于根據獲取單元13獲取的所述指示信息，確定所述第一使能觸發器。
[0088]在第二種可行的實現方式中，獲取單元13用于在確定單元11確定所述第一使能觸發器之前，獲取所述時間例外路徑；以及確定控制所述時間例外路徑的源端觸發器的控制觸發器；確定單元11具體用于:將所述控制觸發器的電平值設置為“0”，若確定所述控制觸發器所控制的源端觸發器的電平值不發生跳變，則確定所述控制觸發器為所述第一使能觸發器；或者，將所述控制觸發器的電平值設置為“ 1”，若確定所述控制觸發器所控制的源端觸發器的電平值不發生跳變，則確定所述控制觸發器為所述第一使能觸發器。
[0089]可選地，本實施例的裝置還可以包括:刪除單元14，該刪除單元14用于在確定單元11確定所述控制觸發器為所述第一使能觸發器之后，刪除所述時間例外路徑。
[0090]本實施例的裝置，可以用于執行本發明上述方法實施例的技術方案，其實現原理和技術效果類似，此處不再贅述。
[0091]本領域普通技術人員可以理解:實現上述各方法實施例的全部或部分步驟可以通過程序指令相關的硬件來完成。前述的程序可以存儲于一計算機可讀取存儲介質中。該程序在執行時，執行包括上述各方法實施例的步驟；而前述的存儲介質包括:R0M、RAM、磁碟或者光盤等各種可以存儲程序代碼的介質。
[0092]最后應說明的是:以上各實施例僅用以說明本發明的技術方案，而非對其限制；盡管參照前述各實施例對本發明進行了詳細的說明，本領域的普通技術人員應當理解:其依然可以對前述各實施例所記載的技術方案進行修改，或者對其中部分或者全部技術特征進行等同替換；而這些修改或者替換，并不使相應技術方案的本質脫離本發明各實施例技術方案的范圍。
【權利要求】
1.一種跳變時延故障向量生成方法，其特征在于，包括: 確定第一使能觸發器，所述第一使能觸發器用于控制時間例外路徑的源端觸發器； 從隨機產生的測試向量中篩選出跳變時延故障向量，所述跳變時延故障向量使得所述第一使能觸發器在掃描移位結束時的電平值為無效狀態。
2.根據權利要求1所述的方法，其特征在于，所述從隨機產生的測試向量中篩選出跳變時延故障向量，所述跳變時延故障向量使得所述第一使能觸發器在掃描移位結束時的電平值為無效狀態，包括: 從隨機產生的測試向量中篩選出跳變時延故障向量，所述跳變時延故障向量使得所述第一使能觸發器在掃描移位結束時以及啟動時鐘下降沿時的電平值為無效狀態。
3.根據權利要求1或2所述的方法，其特征在于，所述確定第一使能觸發器之前，還包括: 獲取用戶輸入的指示信息，所述指示信息用于指示控制所述時間例外路徑的源端觸發器的所述第一使能觸發器； 所述確定第一使能觸發器，包括: 根據所述指示信息，確定所述第一使能觸發器。
4.根據權利要求1或2所述的方法，其特征在于，所述確定第一使能觸發器之前，還包括: 獲取所述時間例外路徑； 確定控制所述時間例外路徑的源端觸發器的控制觸發器； 所述確定第一使能觸發器，包括: 將所述控制觸發器的電平值設置為“O”，若確定所述控制觸發器所控制的源端觸發器的電平值不發生跳變，則確定所述控制觸發器為所述第一使能觸發器；或者， 將所述控制觸發器的電平值設置為“ 1”，若確定所述控制觸發器所控制的源端觸發器的電平值不發生跳變，則確定所述控制觸發器為所述第一使能觸發器。
5.根據權利要求4所述的方法，其特征在于，所述確定所述控制觸發器為所述第一使能觸發器之后，還包括: 刪除所述時間例外路徑。
6.一種跳變時延故障向量生成裝置，其特征在于，包括: 確定單元，用于確定第一使能觸發器，所述第一使能觸發器用于控制時間例外路徑的源端觸發器； 生成單元，用于從隨機產生的測試向量中篩選出跳變時延故障向量，所述跳變時延故障向量使得所述確定單元確定的所述第一使能觸發器在掃描移位結束時的電平值為無效狀態。
7.根據權利要求6所述的裝置，其特征在于，所述生成單元具體用于從隨機產生的測試向量中篩選出跳變時延故障向量，所述跳變時延故障向量使得所述第一使能觸發器在掃描移位結束時以及啟動時鐘下降沿時的電平值為無效狀態。
8.根據權利要求6或7所述的裝置，其特征在于，還包括: 獲取單元，用于在所述確定單元確定所述第一使能觸發器之前，獲取用戶輸入的指示信息，所述指示信息用于指示控制所述時間例外路徑的源端觸發器的所述第一使能觸發器； 所述確定單元具體用于根據所述獲取單元獲取的所述指示信息，確定所述第一使能觸發器。
9.根據權利要求6或7所述的裝置，其特征在于，還包括: 獲取單元，用于在所述確定單元確定所述第一使能觸發器之前，獲取所述時間例外路徑；以及確定控制所述時間例外路徑的源端觸發器的控制觸發器； 所述確定單元具體用于:將所述控制觸發器的電平值設置為“O”，若確定所述控制觸發器所控制的源端觸發器的電平值不發生跳變，則確定所述控制觸發器為所述第一使能觸發器；或者，將所述控制觸發器的電平值設置為“ 1”，若確定所述控制觸發器所控制的源端觸發器的電平值不發生跳變，則確定所述控制觸發器為所述第一使能觸發器。
10.根據權利要求9所述的裝置，其特征在于，還包括: 刪除單元，用于在所述確定單元確定所述控制觸發器為所述第一使能觸發器之后，刪除所述時間例外路徑。
【文檔編號】G01R31/26GK103913691SQ201410158471
【公開日】2014年7月9日 申請日期:2014年4月18日 優先權日:2014年4月18日
【發明者】王琳, 齊子初, 胡偉武 申請人:龍芯中科技術有限公司
專業數控銑床產品供應商
20年生產經驗，實力工廠，精工品質，質量有保障
