Advertisement
Research Article

Oscillatory Threshold Logic

  • Jon Borresen mail,

    J.Borresen@mmu.ac.uk

    Affiliation: School of Computing, Mathematics and Digital Technology, Manchester Metropolitan University, Manchester, United Kingdom

    X
  • Stephen Lynch
  • Published: November 16, 2012
  • DOI: 10.1371/journal.pone.0048498

Abstract

In the 1940s, the first generation of modern computers used vacuum tube oscillators as their principle components, however, with the development of the transistor, such oscillator based computers quickly became obsolete. As the demand for faster and lower power computers continues, transistors are themselves approaching their theoretical limit and emerging technologies must eventually supersede them. With the development of optical oscillators and Josephson junction technology, we are again presented with the possibility of using oscillators as the basic components of computers, and it is possible that the next generation of computers will be composed almost entirely of oscillatory devices. Here, we demonstrate how coupled threshold oscillators may be used to perform binary logic in a manner entirely consistent with modern computer architectures. We describe a variety of computational circuitry and demonstrate working oscillator models of both computation and memory.

Introduction

In 2005, the US National Security Agency [1] concluded that transistors were rapidly approaching the limits of functionality and that new technologies needed to be developed in order to overcome this.

Recent advances in novel computation suggest a variety of new computing technologies which may be applicable and have far reaching applications. Of particular note are: quantum computing [2][6], all-optical computing [7][11], spin computing [12][15], chaos computing [16][18], and DNA computing [19][23]. Each of these suggests a technology which is in many respects fundamentally different from current computing systems and in order for their implementation to be successful, new programming structures and techniques would be required, in addition to any development of reliable working prototypes.

One technology which is considerably more advanced from an implementation perspective is superconductive computing [24], [25], based on Rapid Single Flux Quantum (RSFQ) technology [26][30] which effectively uses Josephson Junctions (JJs) to replace transistors as the fundamental active element in any circuit. This technology is more mature than the others mentioned above and has already produced practical digital and mixed-signal circuits with world record breaking processing speeds at exceptionally low power [31][36]. The RSFQ-based digital receivers were demonstrated in the field, converting high-frequency wide-band analog communications signals to digital domain taking advantage of extreme sampling speeds of RSFQ circuits [37][41]. The JJ RSFQ circuits are fabricated using a relatively simple thin-film process developed in several places [42][46]. Recently, a new energy-efficient generation of RSFQ circuits has been introduced [47] complemented with energy-efficient cryogenic memory [48] leading to the implementation of energy-efficient computing.

Neurons can also be simulated using simple JJ circuits [49][53]. These circuits could then be connected to form logic gates similar to those appearing in this paper. The NSA report [1] also concluded that the most likely successor to transistor technology would be JJ circuitry. The authors are currently investigating implementation of binary logic using neuronal JJ circuitry and the results will be published at a later date.

One further technology which is somewhat less advanced from an implementation perspective is neuronal computing (or wetware), which uses artificially grown neurons as the processing units. Again such technology would require a considerable shift in how computers were designed and programmed and is unlikely to prove to be a successor to Complementary Metal-Oxide-Semiconductors (CMOS) at any time in the foreseeable future. What neuronal computing does provide is a deeper understanding of brain functionality and possible associated medical benefits that would therefore follow. Recently, it has been reported that scientists were able to grow brain nerve cells affected by Parkinson's disease using human skin cell samples [54]. These neurons could be connected to form logic circuits similar to those reported in this paper. Degradation of logical functionality could then be used as an assay to determine the effect of drugs or physical damage on neuronal circuitry.

Zanin et al. [55], show that computation can emerge from collective dynamics of an ensemble of networking neurons. Synchronization and desynchronization of neurons using a dynamic weighted network is used to codify binary information. Additionally, neural encoding using conjugate symmetries [56] and the concept of ‘winnerless competition’ in coupled oscillator networks [57] have also been demonstrated as viable methods of oscillatory computation.

Threshold logic [58], [59] and null convention logic [60] have also been considered, particularly with respect to neural network computing. Beiu et al. [61] provide a review of commercial VLSI hardware implementation of threshold logic up to 2003. With the emergence of nanotechnologies; resonant tunneling, single electron and memristor implementation are also looking promising, especially with respect to energy delay efficiency and reconfigurable circuits [62][67]. Additionally, Modified Variable Threshold Logic (MVTL) using JJs has demonstrated high speed, low power processing [68].

In this paper, we demonstrate a novel computational concept using both inhibitory and excitatory connections between threshold oscillators. The use of inhibitory connections in this way draws on ideas from biological neural encoding and has not previously considered as a tool in implementing binary computation. The use of threshold logic in oscillator circuits presents numerous opportunities for novel circuit design. The inherent richness of oscillator dynamics allows for excitatory and inhibitory connections which may be in many respects different from standard threshold weights used in traditional threshold logic: Neuronal circuits are known to display phase and anti-phase synchronization [69] which may have applications in clocking and error correction. Bursting type behavior [70] could be utilized to prevent signal degradation and improve noise resilience. Connections may induce a variety of responses [71] - all or nothing, additive, amplitude or frequency, which may have specific uses in circuit design.

The method by which inhibition may be caused to occur would be specific to the type of oscillator or oscillatory circuit in question. Neural inhibition has been widely studied [72]. In biological neural circuits, excitation and inhibition occur via diffusion of neurotransmitters across a synaptic gap. For inhibition, this has a temporal effect which permits suppression of post synaptic neural activity for specific time intervals (known as the refractory period). In this paper, we use a method of inhibition using negative connection weights similar to that employed in standard threshold logic design, however, this is to demonstrate proof of principle and is not the only possible method by which logic gate connections could be made. Electrical circuit oscillators can likewise demonstrate inhibition [73]. Optical oscillator circuits offer the possibility of interference based inhibition [74] and perhaps most importantly, given recent advances in JJ technology, JJ oscillator circuits have also been designed with inhibitory characteristics very similar to those in neural circuitry [52].

The underlying concept is not technology specific and, given recent advances in JJ circuitry and neuronal computing, could be readily implemented [75], [76]. It is also considerably less disruptive in that the underlying binary logic is identical to that employed in CMOS and implementation in the JJ form would be compatible with traditional computing architectures.

We present schematics for simple arithmetic and memory operations and describe these operations as the solution set of a system of linear inequalities. Simulations using a neural oscillator model demonstrate how such a model may be implemented.

Methods

Computing using oscillators is not a new concept, indeed the first modern computers were made using vacuum tube oscillators, and oscillators in a variety of forms are integral components in many devices. The use of neural oscillators has also been widely studied, however, in all cases the method of computation is derived from concepts of biological neural encoding. Current research into encoding using neural oscillators is therefore spatio-temporal, rate, or more usually synchronization based [77][79].

What has not previously been considered is using oscillators as the fundamental components of computing devices (with all the inherent dynamical richness that this provides) and designing them in such a way as to perform binary logic in an equivalent manner to standard transistor logic - that is the oscillator will provide a binary output ( equivalent to an oscillator firing or where the oscillator does not fire) and the output from a single oscillator can be interpreted in exactly the same way as that of a transistor.

Threshold logic

Threshold logic has been studied as an alternative to Boolean logic for some time. For many implementations this is advantageous, allowing for reduced component counts and/or number of logic levels, as the implementation of complex logical operations may be achieved using a single gate [80].

Threshold logic gates [81] have a set of inputs , weights and a binary output . The output is typically described by:
where the function is an activation function (eg Heaviside, tanh, sigmoid, piecewise linear, low gain saturation [82]) and the binary output is defined at some threshold , say.

Threshold logic implementation has not supplanted standard logic implementation in CMOS due to sensitivity to parameter changes and variable connection weights requiring very low tolerance engineering. Recent advances in nanotechnology, in particular, Resonant Tunneling Devices (RTD) [83] and memristor devices [84] have the potential to overcome such concerns.

Generic threshold oscillator model

A threshold oscillator is an oscillatory device that will begin oscillating when the input to the device is above a certain threshold. Below this level the oscillator remains in a resting state and gives no output. It is possible to use the output of one threshold oscillator as the input of another oscillator to cause the second oscillator to operate (excitation) and under certain circumstances, it is also possible to cause the input of one oscillator to suppress the output of another oscillator (inhibition).

There are numerous viable methods for implementing binary computation using threshold oscillators. In order to perform the logical operations it is necessary that either oscillators with differing thresholds be used or the connections to the oscillators be of differing weights. In our modeling we shall use the latter method as this mimics more closely biological neural systems, from where the idea originated.

Logical operations

Logical operations can be performed in a similar manner to standard logic circuits, however, due to the threshold nature it is possible to formulate logical operations as solutions of sets of linear inequalities. For instance, the AND function can be replicated by a threshold oscillator with two inputs, where the input strengths are scaled such that the total input is only above threshold if both the inputs are on. For a single input or for no input the total input would be below threshold. Defining the inputs to the logical circuits in vector form and scaling the input strength to a binary or , we write as the total input to the circuit. The threshold equations may be thus written as:(1)
where is the oscillator threshold and the coupling weight between the inputs and the oscillator performing the AND operation. Clearly the solution to the above system Eq. (1) is . For the logical OR operation, the solution would suffice.

Using threshold oscillators in this manner it is straightforward to implement the logical NOT operation using a negative coupling strength, however, as the logical NOT is effectively redundant in more complex logically complete circuit design where NAND and XOR operations are used, we will present all models using the latter formulations.

Binary half adder

One of the simplest computing circuits is the binary half adder. The binary half adder gives the sum of two binary inputs as a two bit binary output. The truth table for the binary half adder is given in Fig. 1A.

thumbnail

Figure 1. Binary half adder.

(A) Truth table for a binary half adder. (B) Oscillator circuit diagram for a binary half adder comprising two inputs and and two oscillators and . The sum oscillator will oscillate if either or are active. The carry oscillator will oscillate if both and are active. An inhibitory connection from to suppresses oscillator if is active.

doi:10.1371/journal.pone.0048498.g001

Standard transistor implementation of a binary half adder uses one XOR gate (to give the sum) and one AND gate (to give the carry). Implementation of this circuit using threshold oscillators can be achieved via a similar design, with two oscillators replicating the logical functions. The AND operation is implemented as described above and the XOR operation can be achieved using an OR operation (as above) with an additional connection from the AND oscillator, which in some way inhibits the operation of the OR oscillator if the AND oscillator is active. The method by which inhibition occurs would be dependent upon the oscillators being used to form the circuitry.

Fig. 1B demonstrates a viable circuit schematic for half adder implementation using two oscillators and and two inputs and , which may themselves be the output from other oscillators in a more complex circuit. Schematically, the circuit design is not dissimilar to standard threshold logic half adders [58], however, due to the nature of the connections between oscillators, implementation may be markedly different. If we consider oscillators with identical thresholds we will require that the coupling strength, , say, from and to be sufficient to cause to oscillate for only one input and for the coupling strength, , say, from and to to be sufficient for it to oscillate for two inputs. The additional connection , say, from to is inhibitory such that if is oscillating it suppresses . Denoting the output from as , the total input to and are thus given by:(2)

We can consider such a system as a set of linear inequalities with normalized input vectors and threshold requiring solutions of the form:(3)

Thus, for instance, for a total input of , only will be above threshold causing oscillation giving a binary equivalent output of . If both and are active, will oscillate but is suppressed if , giving a binary output , as required.

Two-oscillator full adder

In order to demonstrate how oscillatory threshold logic scales for operations on larger numbers of bits we will consider the next simplest arithmetic circuit - the binary adder (or full adder). The binary adder has a truth table as in Fig. 2A.

thumbnail

Figure 2. Binary full adder.

(A) Truth table for a binary full adder. (B) Oscillator circuit diagram for a binary full adder comprising three inputs and and two oscillators and . Oscillator will oscillate if either or are active. Oscillator will oscillate if any two of and are active. An inhibitory connection from to suppresses oscillator if is active, however, the inhibition is only sufficient to suppress for . For inputs of the total input to is still sufficient to induce oscillation.

doi:10.1371/journal.pone.0048498.g002

Using traditional circuitry the binary adder requires five logic gates to perform such an operation. It is possible to formulate the adder circuit using oscillators as a solution set of two linear inequalities and as such only two oscillators are required to perform the operation. The oscillator equations are the same as Eq. (??) and the threshold inequalities are given by:(4)

In keeping with other full adder threshold logic designs [58], [85], the full adder schematic (Fig. 2B) is essentially identical to those of the half adder except for the additional input .

It is possible to use additional oscillators to give the the binary sum for inputs using only oscillators. Each additional oscillator acts as the next binary digit of the required output and the respective input weights are adjusted thusly. Inhibitory connections from the additional oscillator to all other oscillators are required such that the inhibition strength from each new oscillator is scaled accordingly. Thus an exponential increase in computational power could (theoretically) be provided by a linear increase in the number of fundamental components. For larger circuits, the number of interconnections within the circuit would increase considerably, as the computation is effectively encoded in the connections rather than the switches themselves. Given sufficient engineering capability to provide the necessary connectivity, the number of components in any circuit and the time required to perform calculations - as a function of the required switching time of the oscillators - could be considerably reduced in this way.

Results

The Fitzhugh-Nagumo model

The Fitzhugh-Nagumo system [86], [87] is one of the more well known oscillator models. It is essentially a reduction of the Hodgkin-Huxley equations [88] which describe the action potential of a spiking neuron. The model is fairly straightforward to implement as an electrical circuit, as demonstrated by Binczak et al. [73].

The describing equations are:(5)
where is a fast variable (in biological terms - the action potential) and represents a slow variable (biologically - the sodium gating variable). The parameters , and dictate the threshold, oscillatory frequency and the location of the fixed points for and . The model will begin to oscillate when the input current is above a critical threshold . For all the following simulations, the threshold .

It is possible to couple the oscillators together via various methods. For biological neural systems, where there is synaptic coupling between neurons the coupling function is complex, relying on diffusion of neurotransmitters across a synaptic gap. The connections between neurons may either depolarize (excite) or hyperpolarize (inhibit) the post synaptic neuron.

Crucially, the hyperpolarizing inhibitory effect has a temporal component such that if inhibition occurs, the post synaptic neuron remains inhibited for some period of time after the pre-synaptic neuron fires. It is not straightforward to simulate such a system using the Fitzhugh-Nagumo model without either integration of the signal pulse or introducing arbitrary conditions on oscillators receiving an inhibitory pulse - which would not be viable from an implementation perspective. As such we will employ a method which is phenomenologically similar to neural hyperpolarization but is not necessarily consistent with any biological process.

Implementation by coupling through either the fast variable or the slow variable are equally viable. As can be seen from Fig. 3 and Fig. 4 for varying inputs , the fast voltage oscillates with a fairly constant maximum and minimum whilst the slow variable oscillates around a fixed point at approximately . Any coupling function to be used must take into account the specific dynamics of whichever variable is used.

thumbnail

Figure 3. Phase portrait for Fitzhugh-Nagumo model with and shown for two input strengths and .

From an initial resting state at , the transient dynamics is of a wide trajectory before settling onto a limit cycle.

doi:10.1371/journal.pone.0048498.g003
thumbnail

Figure 4. Associated time series of and for corresponding Fig. 3.

Note that after transients, (A) for and , (B) whereas .

doi:10.1371/journal.pone.0048498.g004

As is common in such biologically inspired models we will use a sigmoidal transfer function between oscillators of the form:(6)
where is the threshold at which the output begins to rise and denotes the steepness of the curve of the function . In biological systems, neural connections can exhibit plastic responses and become ‘tuned’ (via some Hebbian learning rule [89]) allowing for more reliable excitation and inhibition. Choosing suitable values of and would in many respects replicate such a process.

Fitzhugh Nagumo half adder and full adders

Numerical simulations for systems of Fitzhugh Nagumo oscillators coupled as in Figs. 1B and 2B will now be discussed. It is also shown that by adding one more oscillator to the two-oscillator full adder it is possible to construct a three-oscillator seven-input full adder.

The inputs to the logical circuits are oscillatory, being provided by Fitzhugh-Nagumo oscillators with similar coupling and parameter values to the computational oscillators. Oscillatory inputs of this form have been chosen over continuous inputs, as this demonstrates the necessary robustness of signal integrity which would be required for larger computational circuits. Continuous inputs to the computational oscillators would be equally viable and present no difficulties in implementation. As such the matrix form for the input weights for each oscillator is rather than as two additional oscillators are used as inputs.

One solution, in matrix form, to the inequalities Eq. (2) and Eq. (3) for the binary half adder, would be:(7)
where in Eq. (5) for the inputs and . This would give the parameter values in Fig. 1B as and . The time series for such is shown in Fig. 5.

thumbnail

Figure 5. Time series for Fitzhugh-Nagumo binary half adder.

The parameter values taken for the transfer function , see Eq. (5), are and . All binary combinations of oscillatory inputs and give the required binary outputs and (see Fig. 1A). Here represents the sum and the carry in terms of standard logical circuitry. The observed pulse like behavior after switching is due to the wide trajectories taken by the input oscillators after being perturbed from the resting state.

doi:10.1371/journal.pone.0048498.g005

A two-oscillator binary full adder can be constructed by simply introducing another input, , say, as in Fig. 2B. Fig. 6 shows the time series for the Fitzhugh-Nagumo two-oscillator full adder.

thumbnail

Figure 6. Time series for a Fitzhugh-Nagumo two oscillator full adder.

All binary combinations of oscillatory inputs , and give the required binary outputs for and (see Fig. 2A). The weights used in this example were again , and (see Eq. (4)).

doi:10.1371/journal.pone.0048498.g006

To conclude this section, we consider a three-oscillator seven input full adder (see Fig. 7). Fig. 7A shows a schematic of the three-oscillator seven input adder comprising twenty one excitatory connectors and three inhibitory connectors. Fig. 7B shows the time series of the seven input three-oscillator full adder.

thumbnail

Figure 7. Seven input, three oscillator full adder.

(A) Block diagram for seven input, three oscillator full adder. (B) Time series for a Fitzhugh-Nagumo three-oscillator full adder. The total input strength is shown in the first row. All binary combinations of oscillatory inputs to give the required binary outputs for , and . The weights used in this example were , , , , and , where is the inhibitory connection from to , is from to and is from to . Note that the amplitude of oscillation increases when the sum of the input to any oscillator is greatly above threshold, however, the binary on/off response is as required.

doi:10.1371/journal.pone.0048498.g007

Fitzhugh Nagumo bit binary multiplier

In order to more fully demonstrate the applicability of such a model we have also simulated a more complex circuit, namely a bit binary multiplier. Such a circuit outputs the binary multiple of two, bit binary inputs. Although it is possible to perform such a calculation using only four oscillators we have used a standard circuit implementation of a binary multiplier to demonstrate how oscillators could be used to replace transistors as the fundamental units of computing devices without the need for architectural redesign.

Fig. 8A shows the logic table for a bit binary multiplier and Fig. 8B shows the corresponding schematic of the oscillator circuit. The time series of the bit binary multiplier is displayed in Fig. 9.

thumbnail

Figure 8. A bit multiplier.

(A) Truth table for bit binary multiplier. (B) Schematic of the binary oscillator bit multiplier using oscillators based on standard circuitry.

doi:10.1371/journal.pone.0048498.g008
thumbnail

Figure 9. Time series of a bit multiplier using oscillators based on standard circuitry.

All possible binary combinations for inputs and are shown. The oscillators and represent binary digit representation of the powers of . Oscillators and are used in the internal circuitry only and their time traces have been made fainter to emphasize the binary output oscillators. For example, at time the inputs representing the decimal and , representing the decimal , giving an output where and are oscillating, being the binary equivalent of the decimal . Note and are not oscillating. This is equivalent to column eight above and row eight in the truth table Fig. 8A.

doi:10.1371/journal.pone.0048498.g009

Fitzhugh Nagumo set reset flip-flop

Fig. 10 shows a schematic of a Set-Reset (SR) flip-flop circuit, the input is commonly referred to as the Set and input is referred to as the Reset. Output is the complement of output . Note that both oscillators require a constant input , say, for the circuit to function properly. This circuit acts as a memory, storing a bit and presenting it on its output , as can be seen in Fig. 11.

thumbnail

Figure 10. Schematic of an SR flip flop using oscillators.

Both oscillators and receive an external input current and there are inhibitory connections between the oscillators. From an initial state where one oscillator is active the other will remain suppressed. External inputs or to the inactive oscillator will induce a switch. The oscillators are effectively performing NOR logical operations as in a conventional SR NOR latch.

doi:10.1371/journal.pone.0048498.g010
thumbnail

Figure 11. Time series of an SR flip-flop using oscillations to switch.

(A) Simulation with and . The simulation is initialized using a single external current to for . At , oscillator also receives an external input current, however, it is suppressed by the output from . The initial state has active and inactive. A continuous switching pulse is provided by at . At , this switching pulse is turned off, but and remain in the switched state (as required). A further switch is performed at using a continuous pulse to . (B) Time series of an SR flip-flop using single input pulses to switch, with and . The switching is performed as for case A, however, only one pulse cycle (ballistic propagation) is used. Note the switching occurs as required and the system remains switched once the pulse has been received.

doi:10.1371/journal.pone.0048498.g011

The SR flip-flop described here is an application of the ‘winnerless competition’ principle [57]. In the absence of coupling between the oscillators, both will remain active. However, a symmetric inhibitory coupling between them ensures that from an initial state, where only one oscillator is active, the other will remain suppressed in the absence of any external perturbation. When an input is given to the inactive oscillator this is switched on, simultaneously suppressing the previously active oscillator. When the external input is turned off, the system remains in the switched state. Note that for a switch to occur, an input pulse of only one period is required (see Fig. 11). Switching using a single pulse in this way can open an opportunity to use ballistic propagation of signals between gates and memory cells, which could significantly reduce the energy required to operate memory circuits, where currently power intensive line charging is required to initiate memory switches.

One important consideration, particularly with respect to flip-flop circuits is the ability to switch accurately in the presence of noise [90]. A detailed examination of error rates arising from such noise would be specific to the oscillator and the underlying circuit implementation. For the general case considered here (a Fitzhugh-Nagumo implementation) repeated simulations have demonstrated that the system is particularly resistant to such noise (see Fig. 12) as is often the case with coupled oscillator dynamics [91], [92]. As the oscillators in the flip-flop circuit will only ‘switch’ if provided with a pulse above threshold, for a noise induced switch to occur (an error) it would be required that the noise amplitude itself be above this threshold. Although such an error is conceivable, no such error has been observed for Gaussian white noise with a standard deviation below of the oscillator threshold. It should also be noted that in any JJ implementation of an oscillatory SR flip-flop, noise is effectively reduced to zero due to the required supercooling.

thumbnail

Figure 12. Controlled switching in the presence of noise.

(A) and (B) Time series of SR flip-flop as in Fig. 11 with additional Gaussian noise, mean = , standard deviation = , added to all oscillators. In both cases the switching occurs as required.

doi:10.1371/journal.pone.0048498.g012

Discussion

Here we have demonstrated how coupled threshold oscillators may be used as the principle components of the next generation of computers. Such implementation using binary logic is not disruptive, in that, from a programming and architectural perspective no significant changes are required.

There are clearly considerations concerning the accurate functioning of any such highly connected circuits, particularly with respect to multiple inputs to a single gate [93], [94], however, it should not be overly problematic to reduce the component numbers significantly given modern engineering capabilities.

The Fitzhugh-Nagumo simulations of the half adder, two-oscillator full adder, three-oscillator full adder, and 2×2 bit multiplier demonstrate threshold oscillators performing all the necessary components of arithmetic logic, while the SR flip-flop demonstrates the potential for very low power memory, particularly when ballistic propagation is considered.

Although the Fitzhugh-Nagumo models demonstrated here are in many ways phenomenologically similar to neural dynamics, we are not attempting to make any inference as to neural dynamics themselves. Moreover, we use the Fitzhugh-Nagumo system as an exemplification of the idea. In practice, implementation via Fitzhugh-Nagumo circuitry would be unlikely as this would offer very little in terms of speed or power consumption, however, any implementation via JJs or optical oscillators could be achieved in a very similar manner to that described for the Fitzhugh-Nagumo model whilst providing exceptional processing speed for minimal power usage.

There is currently a drive to low power exascale supercomputing (a computer which performs more than floating point operations per second (FLOPS)). The previous world's fastest supercomputer, the K computer, operates at a maximum performance of FLOPS and requires approximately of power (excluding the power for the cooling system which is typically in excess of of power). This has recently been overtaken by the Sequoia IBM BlueGene/Q operating at FLOPS and using [95]. Even with such continued improvements in power consumption it is clear that without a significant technological breakthrough beyond that offered using standard CMOS transistor technology the prospect of an exascale computer is currently unviable. The use of oscillatory threshold logic presents a plausible avenue for implementation for which the engineering capability currently exists and which could be readily implemented.

Acknowledgments

The authors would like to gratefully acknowledge the useful comments of Teresa Serrano-Gotarredona (Academic Editor) and the anonymous reviewers. We would also like to acknowledge input and advice from Professor Steve Furber and Dr Oleg Mukhanov.

Author Contributions

Conceived and designed the experiments: JB SL. Performed the experiments: JB SL. Analyzed the data: JB SL. Contributed reagents/materials/analysis tools: JB SL. Wrote the paper: JB SL.

References

  1. 1. National Security Agency (2005) Superconducting Technology Assessment report. Available: www.nitrd.gov/PUBS/nsa/sta.pdf. Accessed 2012 June 27.
  2. 2. Deutsch D (1985) Quantum-theory, the Church-Turing principle and the universal quantum com-puter. Proc Roy Soc A 400: 97–117. doi: 10.1098/rspa.1985.0070
  3. 3. Lloyd S (1993) A potentially realizable quantum computer. Science 261: 1569–1571. doi: 10.1126/science.261.5128.1569
  4. 4. Majer J, Chow JM, Gambetta JM, Koch J, Johnson BR, et al. (2007) Coupling superconducting qubits via a cavity bus. Nature 449: 443–447. doi: 10.1038/nature06184
  5. 5. Morton JJL, McCamey DR, Erikkson MA, Lyon SA (2011) Embracing the quantum limit in silicon computing. Nature 479: 345–353. doi: 10.1038/nature10681
  6. 6. Weber B, Mahapatra S, Ryu H, Lee S, Fuhrer A, et al. (2012) Ohm's law survives to the atomic scale. Science 335: 64–67. doi: 10.1126/science.1214319
  7. 7. Szöke A, Daneu V, Goldhar J, Kirnit NA (1969) Bistable optical element and its applications. Appl Phys Lett 15: 376.
  8. 8. Smith SD (1984) Towards the optical computer. Nature 307: 315–316. doi: 10.1038/307315a0
  9. 9. Arsenault A, Fournier-Bidoz SB, Hatton B, Miguez H, Tétrault N, et al. (2004) Towards the synthetic all-optical computer: science fiction or reality? Journal of Materials Chemistry 14: 781–794. doi: 10.1039/b314305h
  10. 10. Pahari N, Das DN, Mukhopahadhyay S (2004) All optical methods for the addition of binary data by nonlinear materials. Applied Optics 43: 6147–6150. doi: 10.1364/ao.43.006147
  11. 11. Lynch S, Steele AL (2011) Nonlinear optical fibre resonators with applications in electrical en-gineering and computing, Applications of Nonlinear Dynamics and Chaos in Engineering. Santo Banerjee, Mala Mitra, Lamberto Rondoni (Eds.), Springer 1: 65–84. doi: 10.1007/978-3-642-21922-1
  12. 12. Julliere M (1975) Tunneling between ferromagnetic-films. Phys Lett A 54: 225–226. doi: 10.1016/0375-9601(75)90174-7
  13. 13. Datta S, Das B (1990) Electronic analog of the electro-optic modulator. Appl Phys Lett 56: 665–667. doi: 10.1063/1.102730
  14. 14. Meservey R, Tedrow PM (1994) Spin-polarized electron tunneling. Physics Reports 238: 173–243. doi: 10.1016/0370-1573(94)90105-8
  15. 15. Dery H, Dalal P, Cywinski L, Sham LJ (2007) Spin-based logic in semiconductors for reconfigurable large-scale circuits. Nature 447: 573–576. doi: 10.1038/nature05833
  16. 16. Kia B, Dari A, Ditto WL, Spano ML (2011) Unstable periodic orbits and noise in chaos computing. Chaos 21: 047520. doi: 10.1063/1.3664349
  17. 17. Kia B, Spano ML, Ditto WL (2011) Chaos computing in terms of periodic orbits. Phys Rev E 84: 036207. doi: 10.1103/physreve.84.036207
  18. 18. Zanin M, Papo D, Sendina-Nadal I, Boccaletti S (2011) Computation as an emergent feature of adaptive synchronization. Phys Rev E 84: 060102. doi: 10.1103/physreve.84.060102
  19. 19. Adleman LM (1994) Molecular computation of solutions to combinatorial problems. Science 266: 1021–1024. doi: 10.1126/science.7973651
  20. 20. Boneh D, Dunworth C, Lipton RJ, Jiri S (1996) On the computational power of DNA. Discrete Applied Mathematics 71: 79–94. doi: 10.1016/s0166-218x(96)00058-3
  21. 21. Amos M, Paun G, Rozenberg G, Salomaa A (2002) Topics in the theory of DNA computing. Theoretical Computer Science 287: 1, 3–38. doi: 10.1016/s0304-3975(02)00134-2
  22. 22. Kari L, Gloor G, Yu S (2000) Using DNA to solve the Bounded Post Correspondence Problem. Theoretical Computer Science 231: 192–203. doi: 10.1016/s0304-3975(99)00100-0
  23. 23. Xu J, Tan GJ (2007) A review on DNA computing models. Journal of Computational and Theo-retical Nanoscience 4: 1219–1230. doi: 10.1166/jctn.2007.001
  24. 24. Dorojevets M, Bunyk P, Zonoviev D, Likharev K (1999) COOL-0: Design of an RSFQ subsystem for petaflops computing. IEEE Trans Appl Supercond 9: 3606–3614. doi: 10.1109/77.783810
  25. 25. Takagi N, Murakami K, Fujimaki A, Yoshikawa N, Inoue K, et al. (2008) Proposal of a desk-side supercomputer with reconfigurable data-paths using Rapid Single-Flux-Quantum circuits. IEICE Trans Electron E91-C: 350–355. doi: 10.1093/ietele/e91-c.3.350
  26. 26. Mukhanov OA, Semenov VK, Likharev K (1987) Ultimate performance of the RSFQ Logic Circuits. IEEE Trans Mag 23: 759–762. doi: 10.1109/tmag.1987.1064951
  27. 27. Kaplunenko VK, Khabipov MI, Koshelets VP, Likharev KK, Mukhanov OA, et al. (1989) Experi-mental study of the RSFQ logic elements. IEEE Trans Mag 25: 861–864. doi: 10.1109/20.92422
  28. 28. Likharev K, Semenov V (1991) RSFQ logic/memory family: A new Josephson-junction technology for sub-terahertz clock-frequency digital systems. IEEE Trans Appl Supercond 1: 3–28. doi: 10.1109/77.80745
  29. 29. Mukhanov OA (1994) Superconductive single flux quantum technology. Solid-State Circuits Con-ference, Digest of Technical Papers 126–127 doi:10.1109/ISSCC.1994.344703.
  30. 30. Bunyk P, Likharev K, Zinoviev D (2001) RSFQ technology: Physics and devices. International Journal of High Speed Electronics and Systems 11: 257–306. doi: 10.1142/s012915640100085x
  31. 31. Mukhanov OA, Rylov SV (1997) Time-to-Digital converters based on RSFQ digital counters. IEEE Trans Appl Supercond 7: 2669–2672. doi: 10.1109/77.621788
  32. 32. Kirichenko AF, Sarwana S, Gupta D, Rochwarger I, Mukhanov O (2003) Multi-channel time digi-tizing system. IEEE Trans Appl Supercond 13: 454–458. doi: 10.1109/tasc.2003.813898
  33. 33. Mukhanov O, Gupta D, Kadin AM, Semenov VK (2004) Superconductor analog-to-digital con- verters. Proc of the IEEE 92: 1564–1584. doi: 10.1109/jproc.2004.833660
  34. 34. Filippov T, Dorojevets M, Sahu A, Kirichenko A, Ayala C, et al. (2011) 8-bit asynchronous wave-pipelined RSFQ arithmetic-logic unit,. IEEE Trans on Applied Superconductivity 21: 847–851. doi: 10.1109/tasc.2010.2103918
  35. 35. Filippov T, Sahu A, Kirichenko AF, Vernik IV, Dorojevits M, et al. (2012) 20 GHz operation of an asynchronous wave-pipelined RSFQ arithmetic-logic unit,. Physics Procedia 36: 59–65. doi: 10.1016/j.phpro.2012.06.130
  36. 36. Ortlepp T, Wetzstein O, Engert S, Kunert J, Toepfer H (2011) Reduced power consumption in superconducting electronics, IEEE Trans. on Applied Superconductivity 21: 770–775. doi: 10.1109/tasc.2011.2117410
  37. 37. De Escobar LA, Mukhanov O, Hitt R, Littlefield W (2006) High performance HF-UHF all digital RF receiver tested at 20 GHz clock frequencies. Military Communications Conference, MILCOM 2006. IEEE 1–6 doi:10.1109/MILCOM.2006.302479.
  38. 38. Vernik V, Kirichenko D, Dotsenko VV, Miller R, Webber RJ, et al. (2007) Cryocooled wideband digital channelizing RF receiver based on low-pass ADC. Superconductor Science and Technology 20: S323–S327. doi: 10.1088/0953-2048/20/11/s05
  39. 39. Wong J, Dunnegan R, Deepnarayan G, Kirichenko D, Dotsenko V, et al. (2007) High performance, all digital RF receiver tested at 7.5 GigaHertz. Military Communications Conference, MILCOM 2007. IEEE 1–5 doi:10.1109/MILCOM.2007.4455052.
  40. 40. Mukhanov OA, Kirichenko D, Vernik IV, Filippov TV, Kirichenko A, et al. (2008) Superconductor digital-RF receiver systems,. IEICE Trans Electron E91-C: 306–317. doi: 10.1093/ietele/e91-c.3.306
  41. 41. Littlefield W, Mukhanov O, Gupta D, Hitt D (2009) Ultra high speed ADCs and DSP brings direct digital RF beam forming to MILSATCOM phased array apertures. Military Communications Conference, 2009. MILCOM 2009. IEEE 1–7 doi:10.1109/MILCOM.2009.5379946.
  42. 42. Brock DK, Kadin AM, Kirichenko AF, Mukhanov OA, Sarwana S, et al. (2001) Retargeting RSFQ cells to a submicron fabrication process. IEEE Trans Appl Supercond 11: 369–372. doi: 10.1109/77.919359
  43. 43. Tolpygo SK, Yohannes D, Hunt RT, Vivalda JA, Donnelly D, et al. (2007) 20 kA/cm2 process development for superconducting integrated circuits with 80 GHz clock frequency. IEEE Trans Appl Supercond 17: 946–951. doi: 10.1109/tasc.2007.898571
  44. 44. Abelson LA, Kerber GL (2004) Superconductor integrated, circuit fabrication technology,. Proc of the IEEE 92: 1517–1533. doi: 10.1109/jproc.2004.833652
  45. 45. Satoh T, Hinode K, Akaike H, Nagasawa S, Kitagawa Y, et al. (2005) Fabrication process of planarized multi-layer Nb integrated circuits. IEEE Trans Appl Supercond 15: 78–81. doi: 10.1109/tasc.2005.849698
  46. 46. Andres S, Blamire MG, Buchholzet FI, Crété DG, Cristiano R, et al. (2010) European roadmap on superconductive electronics - status and perspectives. Physica C 470: 2079–2126. doi: 10.1016/j.physc.2010.07.005
  47. 47. Mukhanov O (2011) Energy-efficient Single Flux Quantum technology. IEEE Trans Appl Super-cond 21: 760–769. doi: 10.1109/tasc.2010.2096792
  48. 48. Ryazanov VV, Bol'ginov VV, Sobanin DS, Vernik IV, Tolpygo SK, et al. (2012) Magnetic Josephson junction technology for digital and memory applications,. Physics Procedia 36: 35–41. doi: 10.1016/j.phpro.2012.06.126
  49. 49. Mukhanov OA, Semenov VK (1988) Reproduction of the Single Flux Quantum pulses in Josephson junction systems. II. Neuristor lines and logic elements. Mikroelektronika [Sov. Microelectronics] 17: 96–102.
  50. 50. Mizugaki Y, Nakajima K, Sawada Y, Yamashita T (1994) Implementation of new superconducting neural circuits using coupled SQUIDs. IEEE Trans Appl Supercond 4: 1–8. doi: 10.1109/77.273058
  51. 51. Dana SK, Sengupta DC, Hu CK (2006) Spiking and bursting in Josephson junction,. IEEE Transactions on Circuits and Systems 11-Express Briefs 10: 1031–1034. doi: 10.1109/tcsii.2006.882183
  52. 52. Crotty P, Schult D, Segall K (2010) Josephson junction simulation of neurons,. Phys Rev E 82: 011914. doi: 10.1103/physreve.82.011914
  53. 53. Onomi T, Maenami Y, Nakajima K (2011) Superconducting neural network for solving a combi-natorial optimization problem,. IEEE Trans Appl Supercond 21: 701–704. doi: 10.1109/tasc.2010.2092397
  54. 54. Jiang H, Ren Y, Zhong P, Ghaedi M, Hu Z, et al. (2012) Parkin controls dopamine utilization in human midbrain dopaminergic neurons derived from induced pluripotent stem cells,. Nature Communications 3: 688. doi: 10.1038/ncomms1669
  55. 55. Zanin M, Del Pozo F, Boccaletti S (2011) Computation emerges from adaptive synchronization of networking neurons,. PloS ONE 11: e26467. doi: 10.1371/journal.pone.0026467
  56. 56. Ashwin P, Borresen J (2004) Encoding via conjugate symmetries of slow oscillations for globally coupled oscillators. Phys Rev E 70: 026203. doi: 10.1103/physreve.70.026203
  57. 57. Afraimovich V, Rabinovich M, Varona P (2004) Heteroclinic contours in neural ensembles and the winnerless competition principle. Int. Journal of Bifurcation and Chaos 14: 1195–1208. doi: 10.1142/s0218127404009806
  58. 58. Muroga S (1971) Threshold Logic and Its Applications Wiley.
  59. 59. Siu KY, Roychowdhury VP (1994) On optimal depth threshold circuits for multiplication and related problems. SIAM Journal on Discrete Mathematics 7: 284–292. doi: 10.1137/s0895480192228619
  60. 60. Fant KM, Brandt SA (1997) Null Convention Logic Theseus Logic Inc.
  61. 61. Beiu V, Quintana JM, Avedillo MJ (2003) VLSI implementation of threshold logic: a survey. IEEE Trans on Neural Networks, Special Issue on Hardware Implementations 14: 1217–1243. doi: 10.1109/tnn.2003.816365
  62. 62. Goser KF, Pacha C, Kanstein A, Rossmann ML (1997) Aspects of system and circuits for nano-electronics. Proc IEEE 85: 558–573. doi: 10.1109/5.573741
  63. 63. Likharev K (2003) Electronics below 10 nm. in Greer J, Korkin A, Labanowsky J (eds.): Nano and Giga Challenges in Microelectronics. Elsevier 27–68. doi: 10.1016/b978-044451494-3/50002-0
  64. 64. Wei YI, Shen J (2011) Novel universal threshold logic gate based on RTD and its application. Microelectronics Journal 42: 851–854. doi: 10.1016/j.mejo.2011.04.005
  65. 65. Chua L (1971) Memristor-the missing circuit element. IEEE Trans Circuit Theory 18: 507–519. doi: 10.1109/tct.1971.1083337
  66. 66. Strukov DB, Snider GS, Stewart DR, Stanley W (2008) The missing memristor found. Nature 453: 80–83. doi: 10.1038/nature06932
  67. 67. Rajendran J, Manem H, Karri R, Rose GS (2012) An energy-efficient memristive threshold logic circuit. IEEE Trans on Computers 61: 474–487. doi: 10.1109/tc.2011.26
  68. 68. Inoue A, Kotani S, Imamura T, Hasuo S (1993) Niobium based Josephson circuit technology. Superconductivity 1: 1863–1877. doi: 10.1016/0964-1807(93)90335-y
  69. 69. Han SK, Kurrer C, Kuramoto Y (1995) Dephasing and bursting in coupled neural oscillators. Phys Rev Lett 75: 3190–3193. doi: 10.1103/physrevlett.75.3190
  70. 70. Hindmarsh JL, Rose RM (1984) A model of neuronal bursting using three coupled first order differential equations. Proc Roy Soc B 221: 87–102. doi: 10.1098/rspb.1984.0024
  71. 71. Boucsein C, Tetzlaff T, Meier R, Aertsen A, Naundorf B (2009) Dynamical response properties of neocortical neuron ensembles: Multiplicative versus additive noise. J Neuroscience 29: 1006–1010. doi: 10.1523/jneurosci.3424-08.2009
  72. 72. Selverston AL, Moulins M (1985) Oscillatory neural networks. Annual Review of Physiology 47: 29–48. doi: 10.1146/annurev.ph.47.030185.000333
  73. 73. Binczak S, Jacquir S, Bibault J-M, Kazantsev VB, Nekorkin VI (2006) Experimental study of electrical Fitzhugh-Nagumo neurons with modified excitability. Neural Networks 19: 684–693. doi: 10.1016/j.neunet.2005.07.011
  74. 74. Kiesel N, Schmid C, Weber U, Ursin R, Weinfurter H (2005) Linear optics controlled-phase gate made simple. Phys Rev Letts 95: 210505. doi: 10.1103/physrevlett.95.210505
  75. 75. Borresen J, Lynch S (2012) Binary half-adder using oscillators. International Patent Number WO 2012/001372 A1 (PDR/CLR/PM328208WO) 1–57.
  76. 76. Borresen J, Lynch S (2012) Binary half-adder and other logic circuits. UK Patent Number GB 2481717 A, Priority Data 1011110.2 1–57.
  77. 77. Smeal RM, Ermentrout GB, White JA (2010) Phase response curves and synchronized neural networks. Phil Trans R Soc B. 365 (1551) 2402–2407. doi: 10.1098/rstb.2009.0292
  78. 78. Barreiro AK, Shea-Brown E, Thilo EL (2010) Time scales of spike-train correlation for neural oscillators with common drive. Phys Rev E 81: 011916. doi: 10.1103/physreve.81.011916
  79. 79. Zhang X, Wang R, Zhang Z, Qu J, Cao J, et al. (2010) Dynamic phase synchronization charac-teristics of variable high-order coupled neuronal oscillator population. Neurocomputing 73 (13–15) 2665–2670. doi: 10.1016/j.neucom.2010.05.001
  80. 80. Waser R (2012) Nanoelectronics and Information Technology. Wiley
  81. 81. McCulloch W, Pitts W (1943) A logical calculus of the ideas imminent in nervous activity. Bull Math Biophys 5: 115–133. doi: 10.1007/bf02478259
  82. 82. Lynch S (2010) Dynamical Systems with Applications using Maple. Springer doi: 10.1007/978-0-8176-4605-9
  83. 83. Wei Y, Shen J (2011) Novel universal threshold logic gate based on RTD and its application. Microelectronics Journal 42: 851–854. doi: 10.1016/j.mejo.2011.04.005
  84. 84. Rajendran J, Manem H, Karri R, Rose GS (2012) An energy efficient memristive threshold logic circuit. IEEE Trans on Computers 61: 474–487. doi: 10.1109/tc.2011.26
  85. 85. Current KW (1994) Current-hyphen mode CMOS multiple-valued logic-circuits. IEEE J Solid-State Circuits 29: 95–107. doi: 10.1109/4.272112
  86. 86. Fitzhugh R (1961) Impulses and physiological states in theoretical models of nerve membranes. Biophys 1182: 445–466. doi: 10.1016/s0006-3495(61)86902-6
  87. 87. Nagumo J, Arimoto S, Yoshizawa S (1970) An active pulse transmission line simulating 1214-nerve axons. Proc. IRL 50: 2061–2070. doi: 10.1109/jrproc.1962.288235
  88. 88. Hodgkin AL, Huxley AF (1952) A qualitative description of membrane current and its application to conduction and excitation in nerve. J Physiol 117: 500–544. Reproduced in Bull Math Biol (1990) 52: 25–71.
  89. 89. Hebb DO (1949) The organization of behaviour: A Neurophysiological Theory. Wiley
  90. 90. Elgamel MA, Faisal MI, Bayoumi MA (2005) Noise metrics in flip-flop designs. IEICE Trans Inf & Syst E88-D 7: 1501–1505. doi: 10.1093/ietisy/e88-d.7.1501
  91. 91. Ashwin P, Orosz G, Wordsworth J, Townley S (2007) Dynamics on networks of cluster states for globally coupled phase oscillators. SIAM J on Applied dynamical systems 6: 728–758. doi: 10.1137/070683969
  92. 92. Ashwin P, Borresen J (2005) Discrete computation using a perturbed heteroclinic network. Phys Letts A 347: 208–214. doi: 10.1016/j.physleta.2005.08.013
  93. 93. Reischuk R (2000) Can large fanin circuits perform reliable computations in the presence of faults? Theoretical Computer Science 240: 319–335. doi: 10.1016/s0304-3975(99)00237-6
  94. 94. Kuo PY, Wang CY, Huang CY (2011) On rewiring and simplification for canon-icity in threshold logic circuits. IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 396–403. doi: 10.1109/iccad.2011.6105360
  95. 95. Top 500 supercomputer sites. Available www.top500.org. Accessed 2012 June 27.