The 0ptimal Design of Boolean Circuits In Integrated Circuit
Zhijin Guan
Abstract
Zhijin Guan
Abstract
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.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
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.
Key concepts: Binary decision diagram, Boolean function, Circuit minimization for Boolean functions, Boolean circuit, Boolean expression, Electronic circuit, Computer science, And-inverter graph