1. A method of realizing a circuit having one or more logic devices each of which implement an n-valued logic function, wherein n is an integer greater than 2, one or more feedback loops, one or more inputs, and one or more outputs, comprising: providing a switching model that models the circuit; determining a set of possible n-valued input signals that can appear on the one or more inputs; determining a one or more possible n-valued logic functions that can be implemented by the one or more logic devices; determining a set of possible initial conditions for the circuit; inputting the set of possible n-valued input signals, the one or more n-valued logic functions and the set of possible initial conditions into the switching model; and determining a set of possible output values for the circuit on the one or more outputs over a plurality of switching cycles based on the inputs to the switching model.