US Patent 9710586 Automated state machine extraction for rapid-single flux-quantum circuits

The invention provides a method and system for extracting a state machine representation of a digital logic superconductive circuit from an alphanumeric representation of the circuit. The alphanumeric representation typically specifies circuit components including inductive elements, their interconnectivity and input and output nodes. The method according to the invention comprising the steps of simulating the circuit in a suitable software environment utilizing the alphanumeric representation; identifying inductive loops in the circuit; identifying inductive loops in the circuit capable of storing one or more magnetic fluxons and discarding all others; and extracting the state machine representation, using only the inductive loops in the circuit capable of storing magnetic fluxons.