[發(fā)明專利]組合電路瞬態(tài)脈沖重匯聚現(xiàn)象可滿足性分析方法及系統(tǒng)

有效

• 申請?zhí)枺?/td>: 201810432652.0
• 申請日: 2018-05-08
• 公開（公告）號: CN108763660B
• 公開（公告）日: 2022-05-03
• 發(fā)明（設(shè)計）人: 郭陽;劉暢;梁斌;張龍;賀旭;張璐捷;陳建軍;劉必慰
• 申請（專利權(quán)）人: 中國人民解放軍國防科技大學(xué)
• 主分類號: G06F30/398
• 分類號: G06F30/398
• 代理公司: 湖南兆弘專利事務(wù)所(普通合伙) 43008
• 代理人: 譚武藝

本發(fā)明公開了一種組合電路瞬態(tài)脈沖重匯聚現(xiàn)象可滿足性分析方法及系統(tǒng)，方法的步驟為讀入與非圖格式文件，隨機選取某一起始節(jié)點V，使用深度優(yōu)先的方法搜索并任意選擇V可達的輸出節(jié)點P，計算路徑上任意節(jié)點到輸出節(jié)點P的最大距離和最小距離，初始化待檢查列表C，將元素(V,V)加入待檢查列表C，對待檢查列表C中每個元素添加敏化約束條件，并利用SAT求解器求解判斷是否存在滿足要求的輸入向量可以使起始節(jié)點V和輸出節(jié)點P之間直接有兩條可以同時敏化的路徑，如果不滿足則更新待檢查列表C，對待檢查列表C中的元素進行排序并重新進行SAT求解器求解。本發(fā)明具有可分析規(guī)模大、精確度更高、計算規(guī)模小、計算效率高、算法運行時間短的優(yōu)點。

技術(shù)領(lǐng)域

本發(fā)明涉及集成電路的電路分析技術(shù)領(lǐng)域，尤其涉及一種快速、準確分析脈沖信號重匯聚現(xiàn)象可滿足性的組合電路瞬態(tài)脈沖重匯聚現(xiàn)象可滿足性分析方法及系統(tǒng)。

背景技術(shù)

重匯聚現(xiàn)象在現(xiàn)代集成電路設(shè)計中非常普遍。有研究指出，對于一些經(jīng)典芯片的分析發(fā)現(xiàn)，一半以上的單元是扇出單元，芯片輸出引腳的限制，扇出的分支必然會發(fā)生大量的重匯聚。某個單元產(chǎn)生的瞬態(tài)脈沖會延后續(xù)多條路徑傳播，并可能在某一點會合，重匯聚后的脈沖在波形、幅度和脈寬上存在極大不確定性。此外，由于邏輯屏蔽的存在，瞬態(tài)脈沖并不能同時沿著所有的路徑傳播，物理上重匯聚的路徑也不一定發(fā)生重匯聚現(xiàn)象，與輸入向量密切相關(guān)。

如圖1所示的組合電路中，輸入端a點到輸出端y點的路徑有三條(如圖中的實線所示)，從上到下分別為p1、p2、p3，考慮邏輯重匯聚時，假設(shè)a點發(fā)生瞬態(tài)脈沖，若脈沖通過某條路徑傳播到輸出端y點，則稱這條路徑為敏化路徑。若脈沖同時通過多條敏化路徑傳播到輸出y則表示發(fā)生了重匯聚現(xiàn)象，可能的重匯聚路徑組合包括(p1,p2)(p1,p3)(p2,p3)(p1,p2,p3)。通過對電路分析發(fā)現(xiàn)，p1和p2無法同時敏化，因此可能發(fā)生重匯聚現(xiàn)象的組合是(p1，p3)和(p2，p3)。根據(jù)真值表表1，可以發(fā)現(xiàn)，(p1，p3)重匯聚對應(yīng)的輸入向量為(0,1,1)和(1,1,1)，(p2，p3)重匯聚對應(yīng)的輸入向量為(0,0,1)和(1,0,1)。

表1：圖1所示的組合電路的真值表。