论文部分内容阅读
BDD是布尔函数的一种图形表示方式．可以直观地反映出布尔函数的逻辑结构，利用BDD可以实现对布尔函数的分解和优化。针对BDD的数据结构和一种以generalized dominators为基础的布尔表达式的优化方法进行研究，并且着重时其中的一种方法：连接的BDD分解方法（Conjunctive BDI）Decomposition）进行了详细的分析。