[發明專利]一種現場可編程門陣列芯片應用電路的測試方法

有效

• 申請號: 201410341980.1
• 申請日: 2014-07-17
• 公開（公告）號: CN104133747B
• 公開（公告）日: 2017-02-15
• 發明（設計）人: 張雙悅;王紅;楊士元;苗巍
• 申請（專利權）人: 清華大學
• 主分類號: G06F11/22
• 分類號: G06F11/22
• 代理公司: 北京清亦華知識產權代理事務所(普通合伙)11201
• 代理人: 羅文群

1.一種現場可編程門陣列芯片應用電路的測試方法，其特征在于該方法包括以下步驟：

(1)在現場可編程門陣列芯片應用電路的兩個直接相連的查找表單元之間，添加后向冗余互連線，添加方法為：

若兩個直接相連的查找表單元同時滿足以下五個條件，則在兩個直接相連的查找表單元之間添加后向冗余互連線，所述的五個條件分別為：①前查找表單元LUT₁的輸入順序為x₁,…,x_r-1，輸出為z₁，②后查找表單元LUT₂的輸入順序為z₁,…,z_t，輸出為y，③前查找表單元LUT₁的輸出z₁只輸出到后查找表單元LUT₂，④前查找表單元LUT₁存在空閑輸入線x_r，⑤當后查找表單元LUT₂的一條輸入線z_i的邏輯值為確定值d₁時，另一條輸入線z₁的邏輯值對該LUT₂的輸出線的邏輯值不產生影響；

添加后向冗余互連線的過程為：

(1-1)在現場可編程門陣列芯片應用電路中找出滿足上述五個條件的兩個直接相連的查找表單元，在該兩個直接相連的查找表單元中的后查找表單元LUT₂中，找出滿足上述條件⑤的所有輸入線；

(1-2)利用高爾德斯泰可測性度量(SCOAP度量)方法，在步驟(1-1)找出的所有輸入線中選出一條輸入線，并將該輸入線連接至前查找表單元LUT₁的空閑輸入線x_r，該連接線記為后向冗余互連線

(1-3)用前查找表單元LUT₁的原邏輯值替代添加冗余互連線后的前查找表單元LUT₁的立方{xr=d1*‾};]]>

(1-4)將添加后向冗余互連線后的前查找表單元LUT₁的立方全部配置為確定邏輯值

(2)根據步驟(1)的條件，從電路的輸入端開始，向輸出端的方向按照電路層次的順序，遍歷電路中的所有查找表單元，對每個查找表單元重復步驟(1-1)-(1-4)，對符合上述五個條件的前查找表單元LUT₁添加后向冗余互連線；

(3)在現場可編程門陣列芯片應用電路的兩個直接相連的查找表單元之間，添加前向冗余互連線，添加方法為：

若兩個直接相連的查找表單元同時滿足以下六個條件，則在兩個直接相連的查找表單元之間添加前向冗余互連線，所述的六個條件分別為：①前查找表單元LUT₁的輸入順序為x₁,…,x_r，輸出為z₁，②后查找表單元LUT₂的輸入順序為z₁,…,z_t-1，輸出為y，③前查找表單元LUT₁的輸出z₁只輸出到后查找表單元LUT₂，④后查找表單元LUT₂存在空閑輸入線z_t，⑤當前查找表單元LUT₁的一條輸入線x_i的邏輯值為確定值d₁時，前查找表單元LUT₁的輸出邏輯值為確定值d₂，⑥前查找表單元LUT₁的輸入線數量不少于后查找表單元LUT₂的輸入線數量，

添加前向冗余互連線的過程為：

(3-1)在現場可編程門陣列芯片應用電路中，找出滿足上述六個條件的兩個直接相連的查找表單元，并找出與該兩個直接相連的查找表單元中的后查找表單元LUT₂直接相連的滿足上述六個條件的其他多個前查找表單元，在所有滿足上述六個條件的前查找表單元的輸入線中找出滿足上述條件⑤的所有輸入線；

(3-2)利用高爾德斯泰可測性度量(SCOAP度量)方法，在步驟(3-1)找出的輸入線中選取一條，將該輸入線連接至后查找表單元LUT₂的空閑輸入線z_t，將該連接線記為前向冗余互連線

(3-3)用后查找表單元LUT₂的原邏輯值替代添加冗余互連線后的后查找表單元LUT₂的立方{zt=d1*‾};]]>

(3-4)用后查找表LUT₂的原立方的邏輯值替代添加冗余互連線后的后查找表單元LUT₂的立方

(3-5)用后查找表單元LUT₂的立方的邏輯值替代添加冗余互連線后的后查找表單元LUT₂的立方的邏輯值；

(4)根據步驟(3)的條件，從電路的輸出端開始，向輸入端的方向按照電路的層次順序的逆序，遍歷電路中的查找表單元，對遍歷到的查找表單元重復步驟(3-1)-(3-5)，對符合上述六個條件的后查找表單元LUT₂添加前向冗余互連線；

(5)對上述添加了前向冗余互連線和后向冗余互連線的現場可編程門陣列芯片應用電路進行測試。