基于BDD的雙邏輯面積優(yōu)化技術.pdf

1、數(shù)字邏輯電路既可以采用基于“AND/OR/NOT”運算的傳統(tǒng)布爾(Traditional Boolean，TB)邏輯來實現(xiàn)，也可以采用基于“AND/XOR”運算的Reed-Muller(RM)邏輯來實現(xiàn)。事實上，大多數(shù)電路本身就是 TB邏輯和 RM邏輯混合體，即大多數(shù)邏輯函數(shù)在 TB/RM雙邏輯下實現(xiàn)會獲得更好的結果。然而，目前幾乎所有的EDA工具均基于 TB邏輯發(fā)展而來，這意味著利用現(xiàn)有的EDA工具，不能保證最大程度的優(yōu)化。因此，發(fā)展

2、基于雙邏輯的綜合和優(yōu)化方法可彌補現(xiàn)有方法的不足。
　　目前，對雙邏輯綜合的理論和方法的研究仍處于起步階段。二元決策圖(Binary Decision Diagram,BDD)是一種能夠高效表達邏輯函數(shù)的方法。由于其結構簡潔，表示直觀，并且與電路一一對應的特點，被學術界和工業(yè)界廣泛應用于解決優(yōu)化問題。本文提出了基于 BDD實現(xiàn)的門級圖形表示方法 AXIG以及其在雙邏輯綜合中的應用，并提出了一種基于 AXIG的雙邏輯面積最小化方法：<

3、br>　　(1) AXIG及其在雙邏輯中的應用：針對現(xiàn)有基于 BDD的雙邏輯探測和劃分方法的缺陷，在 ROBDD的基礎上，提出了一種雙邏輯門級圖形表示方法AXIG(AND/XOR/INV Graph)，實現(xiàn)了雙邏輯在同一數(shù)據(jù)結構下的表示。首先從邏輯函數(shù)的ROBDD形式出發(fā)，根據(jù) BDD的結構特點對 ROBDD進行基于代數(shù)分解和布爾分解的切割，通過迭代切割過程將 ROBDD分解為單變量的形式，進而得到邏輯函數(shù)的AXIG表示形式。相較其他邏