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

The 0ptimal Design of Boolean Circuits In Integrated Circuit

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

Binary decision diagrams (BDDs) are representations of Boolean functions. It is widely used in the synthesis simulation and testing of Boolean circuits. In all these applications of BDD's, solutions to some fundamental computational problems are needed. We present a method for the transference from Boolean circuits into BDDs. We exp1ain the program in two parts: transference for fanout free circuit and then for circuits with fanout points. Final1y we combine both into a general algorithm.