集成电路中布尔线路图的优化设计

二叉决策图（ＢＤＤs） 是布尔函数的一个表示方法，最近它被广泛应用于逻辑综合中布尔电路的模拟和测试等领域。在这些应用中，有些基本问题需要解决，其中包括电路图到决策图的转换。文章提出了一个转换的方法并分两步叙述，首先是对无扇出电路的转换，然后是对有扇出电路的转换，最后把两者结合为一个通用算法。