Adiabatic quantum-flux-parametron (AQFP) logic is an emerging superconducting circuit technology, which is superior in terms of energy dissipation at reasonable clock frequencies. Although multiplication is important for signal or image processing applications, such as fast Fourier transform processors or GPUs, no multipliers implemented in AQFP logic have been demonstrated yet. In this article, we introduce two types of algorithms to calculate multiplication results: array type and Wallace-tree type. We design 4-bit multipliers based on these algorithms using the AIST 10 kA/cm$^{2}$high-speed standard process and compare these circuits in terms of the following metrics: number of Josephson junctions, circuit latency, area, and power dissipation. As a result, in all respects, the Wallace-tree type is better than the array type. In addition, we experimentally confirm that the fabricated chips containing both types of multipliers are operating correctly at 100 kHz for all test patterns, including random patterns. This is the first time AQFP multipliers have been experimentally demonstrated completely.
Adiabatic quantum-flux-parametron (AQFP) logic is an emerging superconducting circuit technology, which is superior in terms of energy dissipation at reasonable clock frequencies. Although multiplication is important for signal or image processing applications, such as fast Fourier transform processors or GPUs, no multipliers implemented in AQFP logic have been demonstrated yet. In this article, we introduce two types of algorithms to calculate multiplication results: array type and Wallace-tree type. We design 4-bit multipliers based on these algorithms using the AIST 10 kA/cm2high-speed standard process and compare these circuits in terms of the following metrics: number of Josephson junctions, circuit latency, area, and power dissipation. As a result, in all respects, the Wallace-tree type is better than the array type. In addition, we experimentally confirm that the fabricated chips containing both types of multipliers are operating correctly at 100 kHz for all test patterns, including random patterns. This is the first time AQFP multipliers have been experimentally demonstrated completely.
Abstract We present a comprehensive overview of a design methodology and environment that we developed to enable the implementation of microprocessors and other complex logic circuits using the adiabatic quantum-flux-parametron (AQFP) superconductor logic family. The design environment is catered for both the AIST 10 kA cm −2 Nb high-speed standard process as well as the AIST 2.5 kA cm −2 Nb standard process (STP2). We detail each aspect of the design flow, highlighting improvements in cell design, and new developments in circuit retiming to reduce the number of synchronizing buffers in the circuit datapath. With retiming, we expect a 14–37% reduction in the overall Josephson junction (JJ) count for some benchmarks. Finally, we show the successful experimental demonstration of an arithmetic logic unit and data shifter for an AQFP microprocessor using the established methodology and environment. The demonstrated circuits show full functionality and wide excitation current margins of nearly ±30%, which corresponds well with simulation results.
Adiabatic quantum-flux-parametron (AQFP) logic is a promising technology for future energy-efficient, high- performance information processing systems because it has significantly low power consumption due to the adiabatic switching of Josephson junctions. We are developing a high-performance field-programmable gate array (FPGA) using superconducting AQFP circuits to reduce its energy consumption. The all-AQFP FPGA consists of logic blocks, switch blocks, connection blocks, and memory using AQFP circuits. In particular, the memory is composed of AQFP buffer chains, enabling high-density and low-power memory. The switch blocks can perform data routing as well as several logic functions, including majority,and, andorfunctions, which increases the design flexibility of the all-AQFP FPGA. We fabricated a one-unit all-AQFP FPGA and demonstrated its reconfigurable operation at low speed. It was found that much lower power consumption can be achieved in the new FPGA than in the other superconducting FPGAs.
Adiabatic quantum-flux-parametron (AQFP) logic is an energy-efficient superconductor logic family. In this article, we design binary counters, namely an up counter, a down counter, and an up/down counter, based on AQFP logic. These binary counters are T-flip-flop-based and count logic 1s in the input signal that is synchronized with excitation currents, which clock the counters. The internal state of a T flip-flop changes when the internal state of the previous T flip-flop changes from logic 1 to 0 and from logic 0 to 1 for the count-up and count-down operations, respectively. Each internal state of a T flip-flop is read out serially by a buffer chain coupled to the T flip-flops. We fabricate 4-bit up, down, and up/down counters using the AIST 10 kA/cm2Nb high-speed standard process and demonstrate their correct operation at low frequency. This is the first demonstration of binary counters based on AQFP logic.
Adiabatic quantum-flux-parametron (AQFP) logic is an energy-efficient superconductor logic family. In this paper, we conducted the high-frequency operation and energy measurement of an AQFP circuit with more than 1000 Josephson junctions in the experiment. We designed an 8-bit carry look-ahead adder (CLA) using AQFP gates and fabricated it using an advanced fabrication technology, the AIST 10 kA/cm2 Nb high-speed standard process. The correct operation of the 8-bit CLA was demonstrated at a 1-GHz clock frequency for a critical carry propagation test vector. The energy dissipation of the 8-bit CLA was measured by observing the power of excitation current. Our results showed that the energy dissipation per operation of the 8-bit CLA can be estimated to be approximately 1.5 aJ, or 24kBT per junction, where kB is the Boltzmann constant and T is the operating temperature.
Josephson Junction (JJ) based superconductor logic families have been proposed and implemented to process analog and digital signals [1] for its low energy dissipation and ultrafast switching speed. Thanks to its construction of resistance-less wires and ultrafast switches, it can operate at clock frequencies of several tens of gigahertz and even hundreds of thousands of times as energy efficient as its CMOS counterparts. It has been perceived to be an important candidate to replace stateof-the-art CMOS due to the superior potential in operation speed and energy efficiency, as recognized by the U.S. IARPA C3 and SuperTools Programs and Japan MEXT-JSPS Project. The design and fabrication of superconducting circuits have already been established [2]-[4]. In addition, a prototype superconducting microprocessor "Core 1" has been demonstrated in 2004 [3], which is able to execute instructions at a high clock frequency of several tens of gigahertz, and with extremely low-power dissipation. These achievements make superconducting electronics highly promising for future high-performance computing applications. As one of the most matured superconducting technology, the Rapid-Single-Flux-Quantum (RSFQ) technology is proposed by K. Likharev, O. Mukhanoc, V. Semenov in 1985 [1]. Despite its capability to be operated at an ultra-high speed of hundreds of GHz while maintaining extremely low switching energy (10^-19 J), it suffers from an increasing static power due to on-chip resistors that are required for constant DC bias supply for the main RSFQ circuit. Numerous methods have been proposed to resolve the static power dissipation problem of RSFQ, including low-voltage RSFQ (LV-RSFQ) [5], reciprocal quantum logic (RQL) [6], LRbiased RSFQ [7] and energy-efficient single-flux quantum (eSFQ) [8]. The Adiabatic Quantum-Flux-Parametron (AQFP) technology, on the other hand, uses AC bias/excitation currents as both multiphase clock signal and power supply [9] to mitigate the power consumption overhead of DC bias while operating at a frequency of few GHz. Consequently, AQFP is remarkably energy efficient compared to RSFQ, albeit operating at a lower frequency. The energy-delay-product (EDP) of the AQFP circuits fabricated using processes such as the AIST standard process 2 (STP2) and the MIT-LL SFQ process [10], [11], is at least 200 times smaller than those of the other energy-efficient superconductor logics and is only three orders of magnitude larger than the quantum limit [9]. Physical testing results of an AQFP 8-bit carry-look-ahead adder and large scale circuits consisting up-to 10,000 AQFP logic gates have demonstrated the AQFP being a promising technology that is robust against circuit parameter variations [12]. Despite the high application potential of AQFP in VLSI circuits, a systematic, automatic synthesis framework for AQFP is imminent. There are two features of AQFP that restrict conventional CMOS synthesis methods being directly applied on AQFP. In spite of And-Or-Inverter(AOI) based representation, which conventional CMOS circuits highly relies on, AQFP circuits prefer majority gates. In fact, its two inputs AND and OR gates are also built with three inputs majority gate with one input being constant. In addition, given its clock-synchronized data propagation nature, AQFP technology requires all inputs to any gate having equal delay. In order to meet this balanced timing requirement, splitters and buffers need to be inserted to the circuit. As a matter of fact, some circuit size can be doubled even with optimum amount of buffers and splitters inserted. The buffer and splitter insertion method can have a huge impact on the overall resource consumption. As the design complexity increases, an unoptimized buffer and splitter insertion method could result in huge amount of unnecessary buffers and splitters added. In addition to a complete synthesis framework, an Integrated Development Environment (IDE) for AQFP design is also lacking. It is imminent to have an IDE for AQFP integrating tools that offer schematic and layout editor, simulation and analysis for better and more efficient AQFP design flow. In this paper, we propose a complete design tool for AQFP design including an Integrated Development Environment (IDE), a complete majority based synthesis framework and a buffer and splitter insertion framework. we propose a majority gates synthesis framework for AQFP circuits that is capable of converting any AOI netlist to its corresponding MAJ netlist by mapping all feasible three-input sub-netlists to corresponding MAJ based implementations. In addition, we also propose an automated buffer and splitter insertion method that is capable of adding the optimum amount of buffers and splitters to any given gate-level netlist. The proposed method can find the minimum amount of buffers and splitters to inserted to achieve equal delay with any library limitation on the size of splitters. Experimental results suggest that the proposed methods can deliver very optimized results. The majority conversion tool can reduce circuit size by an average of 16:47% and delay by 30:21% in average. The buffer and splitter insertion tool only introduces an average of 14:24% overhead in size and 4:70% delay with splitter fanout size limited to 4 compared to an unachievable ideal results with no limitations on splitter fan-out size. Overall, the balanced design in majority gates can be reduced by 23:85% and 29:54% in size and delay compared to its AND/OR/Inverter implemented counterpart.
Adiabatic quantum-flux-parametron (AQFP) circuits are very low-power due to zero static power consumption and adiabatic switching operations. However, compared to other superconducting circuits, such as rapid single-flux-quantum logic, the operation frequency is relatively low and the latency is relatively large. In this work, we propose multi-excitation AQFP (ME-AQFP) circuits for high-speed and low-latency operations. In ME-AQFP, the intrinsic periodicity of the potential energy of a Josephson device with respect to applied magnetic fluxes is utilized to multiply operation frequencies and reduce latency. In a numerical simulation, we demonstrated an ME-AQFP AND gate, which operates at 10 GHz or 20 GHz with 5-GHz excitation currents. We also evaluated the energy efficiency of ME-AQFP circuits. In an experiment, we successfully demonstrated an ME-AQFP XOR gate and an ME-AQFP full adder.