Multilevel logic synthesis with extended arrays

The authors offer extended algebraic operations and strategies for se in algebraic approaches. A novel cube/array representation that directly shows some legal expressional variations from a minimal expression written in the conventional three symbol {0, 1, x} representation is defined, along with certain operations on those cube/arrays. Conversions between the new and conventional representations are explained. Division methods are presented that are based on expressions like those used to describe algebraic division but use more operations of Boolean algebra. Factoring on the new representations is explained. A multilevel logic synthesis algorithm with a control strategy is presented and compared with published systems