Application of Axiom System in the Construction Method of BDD
Xu Zhang, Dong Hua Hu · Applied Mechanics and Materials · 2013
This paper presents a brief introduction of BDD. Through the analysis of the question existing in BDD construction, such as a lot of useless variable nodes, repeated calculation, redundant nodes and calculation, and so on, this paper introduces axiom system and compute-table to the BDD construction and present a new method. This method eliminates the useless node, reduces redundant nodes and lots of repeated computation. It can improve the implementation efficiency and avoid wasting memory.