关于逻辑综合优化的一种数据结构构建，基于BDD的缺陷，对BDD进行比较。