In this paper an efficient algorithm for the synthesis and exact minimization of ESCT(Exclusive or Sum of Complex Terms) expressions for Boolean functions of at most six variables is proposed. This kind of logical expressions can be mapped to a special cellular architecture, called Reversible Wave Cascade Architecture. This topology is useful, because it has been proved to be reversible and moreover it may help in the design of quantum circuits. The proposed algorithm is the first one to give solution to the problem of finding minimal ESCT expressions for switching functions of up to six input variables.
Dimitrios Voudouris, Marinos Sampson, George K. Pa