On the Definition and Generation of Walsh Functions

A proof is given of a method proposed by Lackey and Meltzer [2] for determining the selection of Rademacher functions that must be combined to generate a specified Walsh function. The method provides a convenient way of digitally controlling a Walsh function generator.