Nonstandard Combinational Synthesis
Nonstandard Combinational Synthesis
Recent research [1] based on experimental results suggests that asymmetrical operators {<, =>} have better expressiveness. Two metrics of expressiveness are described in the literature [1]. The first one uses the total gates required to express all 16 Boolean operations on two variables, where the set {<, =>} outperforms traditional favorites NAND/NOR. It is however, not clear if this metric can be generalized for the case of n variables, and whether asymmetrical operators continue to be better when the number of variables increases. The second metric takes a given number of gates and measures the number of functions expressible by them. Libraries with a mixture of symmetric and asymmetric operations like {<, =} and {=>, ^} seem to do better in practice. NAND and NOR seem to be better for implementation, as reducing the transistor counts for {<, =>} requires pass transistor logic. More extensive validation of the models is required to determine if asymmetrical operators will become viable.
References: [1] Exact Combinational Logic Synthesis and Non-Standard Circuit Design by Paul Tarau and Brenda Luderman.