An Algorithm for Automatic Design of Logical Cryogenic Circuits

Logical cryogenic circuits differ from the circuitry used with other devices as paths for both the required function and its denial must be provided. Present techniques for logical design of cryogenic circuits either rely on the experience of the designer to achieve a minimal circuit or are derived from analogous relay circuits. An algorithm to develop minimal (or near minimal) circuits by collapsing a complete decoding-tree structure by removing un-needed devices is discussed. The algorithm requires no subjective decisions and is readily programed for inclusion in an automatic design system. A generalization of the algorithm to include functions of n-ary input variables and multiple outputs is also presented.