利用ＦＡＮ算法進行組合電路的等價性檢驗
2006-12-31 00:00:00曾瓊
計算機應用研究 2006年12期
摘 要：討論了組合電路的等價性檢驗方法，分析了FAN算法的關鍵技術，利用該算法進行了組合電路的等價性檢驗，實驗結果表明了該方法的有效性。
關鍵詞：等價性檢驗；ATPC；D－算法；PODEM算法；FAN算法
中圖法分類號：TP301
文獻標識碼：A
文章編號：1001-3695(2006)12—0025-03
摘 要：討論了組合電路的等價性檢驗方法，分析了FAN算法的關鍵技術，利用該算法進行了組合電路的等價性檢驗，實驗結果表明了該方法的有效性。
關鍵詞：等價性檢驗；ATPC；D－算法；PODEM算法；FAN算法
中圖法分類號：TP301
文獻標識碼：A
文章編號：1001-3695(2006)12—0025-03
