REVIEW 3 major objections 6 minor 1 cited by
AR-SFQ: Asynchronous Reset Library Using {\alpha}-Cell Design
T0 review · 3 major / 6 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read Integrating a bidirectional α-cell gives RSFQ logic and memory cells an asynchronous reset, enabling each cell to execute ¬RES ∧ f(A,B) without extra area or bias overhead.
desk verdict A useful and plausibly working asynchronous reset extension of the group's own α-cell work, but the evidence base is thinner than the claims. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The α-cell is an interconnect cell with three inputs, two outputs, and asymmetric Josephson-junction loops that allow SFQ pulses to travel in both directions: forward it behaves as a Josephson transmission line, reverse it behaves as a confluence buffer performing parallel-to-serial conversion. It carries the argument by providing a reverse port through which a reset pulse can enter a logic or memory cell, decrement or clear the stored flux in the destructive-readout loop, and restore the cell to its idle state. The relevant physical mechanism is flux quantization in superconducting loops: stored flux is an integer multiple of $\Phi_0$, so a counter-propagating pulse can subtract one flux quantum, and the reset-modified function $\neg\text{RES}\wedge f(A,B)$ follows from the absence of inductive state in the reverse path.
What would settle it
Apply a reset pulse to an empty AND, OR, or XOR cell and then measure the loop current at the storage inductance; if any residual flux is stored (as the paper's multi-flux DRO does with negative-flux bias), the reverse path is stateful and the clean-reset claim fails. Alternatively, run a Monte Carlo yield simulation over the stated reset timing windows (e.g., AND reset between 6.84 ps before first input and 4.5 ps before clock, XOR between 15.14 ps and 10 ps) and count functional errors; any error at nominal bias would falsify the claimed reliability.
Extended reading notes
Core claim
The central discovery is that the α-cell's reverse signal path can be reused as a local reset mechanism. In each AR-SFQ cell, a reset pulse applied at the output pin travels backwards through the α-cell and discharges the flux stored in the cell's destructive-readout loop, reactivating the primary escape junctions and restoring the default state. Because the reverse path is designed without inductive elements, the reset is claimed to be memoryless: it does not store state in the reverse direction and does not generate a reverse pulse at the input port when the loop is empty. Functionally, every gate in the library executes $\neg\text{RES}\wedge f(A,B)$, and the same structure adds reset to DFF and TFF memory cells, gives the inverter a compact implementation using a multi-flux DRO with positive and negative flux cancellation, and turns the multi-flux DRO into a decrementable storage element that can hold up to four flux quanta and even store negative flux as a bias.
Load-bearing premise
The load-bearing premise is that a reset pulse travelling backward through the α-cell clears a gate's stored flux completely and leaves no state behind, so the cell always returns to its idle (0,0) or set state; if the reverse path can instead partially decrement stored flux or leave residual bias, the reset-modified functions $\neg\text{RES}\wedge f(A,B)$ would not hold for all input histories.
Editorial extensions
If this is right
- Local reset of individual DFFs in a shift-register memory can clear a target address without shifting all bits through the chain, reducing clock cycles for memory rewrite.
- Branch misprediction recovery can reset only the affected computational stages, preventing erroneous signals from propagating without a global reset.
- Two α-DFF pairs with crossed reset outputs produce $A\wedge\neg B$ and $B\wedge\neg A$ and, merged through one CBU, yield $A\oplus B$, giving three functions from the same components.
- The multi-flux DRO with α reset can act as an up-down counter, store up to four bits plus negative-flux bias, and support bidirectional counting.
- The inverter is implemented more compactly by using the reset path as a negative-flux input to an MDRO, with higher error margin than a standard RSFQ inverter.
Reading between the lines
- If the memoryless reverse path holds, the α-reset pattern may extend to any DRO-style RSFQ cell, but the paper's own XOR timing violation (starred peak in Fig. 6) suggests that each cell's reset window, not the clock, becomes the new timing constraint that synthesis tools must satisfy.
- The multi-flux DRO's demonstrated negative-flux storage implies that a reset pulse is physically a decrement by one flux quantum rather than an absolute clear; in cells whose loops can hold multiple quanta, an incomplete reset might leave residual bias, so the claimed clean idle state should be verified under multi-pulse reset sequences and process variation.
- Combining α-reset DFFs to form AND-invert and XOR functions suggests a synthesis mapping where reset ports serve as logic inputs, not just control; this could reduce cell count for arithmetic datapaths, but it will require design tools that understand pulse-direction encoding.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes an asynchronous reset RSFQ (AR-SFQ) cell library built around the α-cell, a bidirectional interconnect element previously introduced by the same group. The library includes AND, OR, XOR, inverter, DFF, TFF, and multi-flux DRO cells, each with an asynchronous reset signal applied through the α-cell. The central claim is that a reset pulse returns every cell to its idle state, so each gate executes the reset-modified function ¬RES ∧ f(A,B), and this is achieved without increasing area or bias overhead. Validation is performed with analog simulations, and component values and some critical margins are reported.
Significance. If correct, the library would be a practical contribution to RSFQ design, enabling localized asynchronous reset without a global clock and potentially simplifying state machines, branch prediction, and neuromorphic topologies. The manuscript has notable strengths: complete component lists for every cell, simulation waveforms for all cells, explicit critical margins and timing windows for the logic gates, and a clear statement of the intended logic function. These details make the design reproducible in principle. However, the central physical assumption that the reset path is non-stateful is in tension with the authors' own demonstration of negative-flux storage in the multi-flux DRO, and the reliability claims are not backed by process-variation or yield analysis. The work is therefore promising but needs substantial revision to establish correctness and robustness.
major comments (3)
- [§III.C] The non-statefulness assumption for the reset path is contradicted by the manuscript's own results. Section II.B.1 states for the AND gate that 'the absence of inductive elements in the reverse direction, preventing it from retaining state information in the reverse direction,' but Section III.C, 'Negative pulse storage,' demonstrates that applying an α input with no prior data stores that input as negative flux in the multi-flux DRO loop. Since the reset port in every AR-SFQ cell is the same α-cell mechanism, a reset pulse arriving while a cell is already idle could write negative flux into the storage loop, corrupting the subsequent ¬RES ∧ f(A,B) behavior. No simulation evidence is provided that the reset path of the AND, OR, XOR, DFF, or TFF is non-stateful under idle conditions; the admitted XOR timing violation (Fig. 6, star) is consistent with exactly this failure mode. This is a load-bearing correctness issue, not a margin or timing concern.
- [Conclusion] The manuscript claims reliability and correct functionality via analog simulations, but no margin values are given for the memory cells. Figure 10's caption states 'The circuit parameters and margin values are provided,' yet the figure lists only inductances and critical currents, with no margin or timing data for the DFF. Similarly, the TFF (Fig. 13) and multi-flux DRO (Fig. 16) lack margin values. No Monte Carlo or process-variation analysis appears anywhere in the paper. Since the reset mechanism's timing windows are given only for AND and XOR, the robustness of the reset path for OR, inverter, and all memory cells is unquantified, which is a significant gap for a cell-library paper.
- [Conclusion] The conclusion states that the library is developed 'without increasing the overall area and bias overhead of individual cells,' but the manuscript provides no area, JJ-count, or bias-current comparison between the AR-SFQ cells and conventional RSFQ cells with reset functionality. The schematics show the α-cell added to each logic gate, which presumably adds junctions and wiring, so the claim is unsupported. A quantitative comparison of junction counts and bias current requirements is needed to substantiate this assertion.
minor comments (6)
- [Fig. 10] The caption says margin values are provided, but the figure only gives component parameters; the margin values for the DFF are missing.
- [References] References [11] and [16] appear to be the same paper (same title, same authors, same venue and year); [16] lacks volume/page details. This should be resolved.
- [§II.B.2] The OR gate description is unclear about the effect of a reset signal that arrives before input data: it says the reset 'can suppress the first input signal' but also that if two pulses arrive after a premature reset the output is still logic-1. The exact intended behavior and timing constraints should be stated more precisely.
- [§IV] The description of the α-DFF-based XOR (Fig. 19) would benefit from a timing diagram or explicit truth-table demonstration, since the claimed generation of A ∧ ¬B, B ∧ ¬A, and A ⊕ B from two DFFs and two α-cells is not obvious from the text alone.
- [Abstract] The acronym is inconsistently given as AR-SFQ in the title/abstract and AR-RSFQ in the conclusion; please standardize.
- There are several typographical and grammatical issues, e.g., 'the clock causes a large skew' in the abstract, 'whether' for 'whether' in §II.B.1, and 'α input' where 'an α input' is meant. A careful proofread is recommended.
Circularity Check
No construction-level circularity: the asynchronous reset behavior is demonstrated by time-domain analog simulations of each cell, not derived from a fitted input or a load-bearing self-citation chain.
full rationale
The AR-SFQ paper does not derive its central reset claim from an input that already contains it. The reset-modified function ¬RES ∧ f(A,B) is presented in the conclusion as the intended specification of the designed cells, and the paper supports it with time-domain analog simulations of the AND, OR, XOR, inverter, DFF, TFF, and multi-flux DRO cells (Figs. 2, 4, 6, 8, 11, 14, 17, 18), along with reported timing windows and critical margins obtained from those simulations. This is a design-verification chain, not a fit-then-predict cycle. The self-citations to the α-cell ([9]) and the qCS optimizer ([17]) are real but not load-bearing in a circular sense: the α-cell is re-exercised inside every simulated gate, and qCS is used to optimize component values rather than to supply the reset property as an assumption. The most serious concern is an internal-consistency risk, not circularity: §III.C states that 'applying an α input when no prior data is present results in the storage of this input as a negative flux in the loop,' while §II.B.1 asserts for the AND gate 'the absence of inductive elements in the reverse direction, preventing it from retaining state information in the reverse direction.' If the reverse reset path of the logic cells behaves like the multi-flux DRO's negative-flux storage, an idle cell could be left in a negative-flux state by a reset pulse and ¬RES ∧ f(A,B) could fail. That would be a correctness or soundness failure, but it is not an instance of the paper's derivation reducing to its own inputs, so it does not raise the circularity score.
Assumptions & free parameters
free parameters (7)
- AND gate L and J values =
see Fig. 1
- OR gate L and J values =
see Fig. 3
- XOR gate L and J values =
see Fig. 5
- Inverter (MDRO) L and J values =
inherited from Fig. 16 (multi-flux DRO)
- DFF L and J values =
see Fig. 10
- TFF L and J values =
see Fig. 13
- Multi-flux DRO L and J values =
see Fig. 16
assumptions (5)
- standard math RSFQ pulse representation and clocked cell behavior are standard and captured by the simulation tool.
- domain assumption The α-cell, characterized in ref [9] by the same group, behaves as a bidirectional JTL/CBU under the new loading and timing conditions.
- domain assumption The reverse path of the AND, OR, and XOR gates contains no inductive elements, so the reset pulse does not retain state in the reverse direction.
- domain assumption The qCS optimization from ref [17] produces valid parameter margins for each cell.
- standard math IcL > 4Φ0 realizes four flux quanta of storage in the multi-flux DRO.
Cite this review
Pith. "Pith review of AR-SFQ: Asynchronous Reset Library Using {\alpha}-Cell Design." pith.science (2026). https://pith.science/paper/TSCJHXA6
@misc{pith2026250109449,
author = {Pith},
title = {Pith review of: AR-SFQ: Asynchronous Reset Library Using \alpha-Cell Design},
year = {2026},
howpublished = {\url{https://pith.science/paper/TSCJHXA6}},
note = {Machine review of arXiv:2501.09449}
}
read the original abstract
Rapid Single Flux Quantum (RSFQ) circuits are the most evolved superconductor logic family. However, the need to clock each cell and the deep pipeline causes a complex clock network with a large skew. This results in lower throughput and high latency in RSFQ. This work introduces an asynchronous RSFQ cell library that incorporates the {\alpha}-cell, enabling bidirectional signal paths in RSFQ circuits. The {\alpha}-cell mitigates the need for a large clock network by allowing reverse signal flow, minimizing routing, and enabling compact circuit designs. We demonstrate the library's reliability and efficiency by analog simulations and using in-house optimization tools. The asynchronous reset RSFQ (AR-SFQ) will enable efficient implementation of scalable, high-performance computing frameworks, such as state machines, neuromorphic computing, and higher fan-in circuits.
Figures
Figures from the paper (9 more)
Forward citations
Cited by 1 Pith paper
-
Estimation of Regions of Attraction for Nonlinear Systems via Coordinate-Transformed TS Models and Piecewise Quadratic Lyapunov Functions
The paper claims that combining coordinate transformations with piecewise quadratic Lyapunov functions enlarges Takagi-Sugeno region-of-attraction estimates, but the demonstration is a single example with inconsistent...
Reference graph
Works this paper leans on
-
[9]
α-soma: Single flux quantum threshold cell for spiking neural network implementations,
M. A. Karamuftuoglu and M. Pedram, “ α-soma: Single flux quantum threshold cell for spiking neural network implementations,” IEEE Trans- actions on Applied Superconductivity , vol. 33, no. 5, pp. 1–5, 2023
work page 2023
-
[17]
M. A. Karamuftuoglu, S. N. Shahsavani, and M. Pedram, “Margin and yield optimization of single flux quantum logic cells using swarm opti- mization techniques,” IEEE Transactions on Applied Superconductivity , vol. 33, no. 1, pp. 1–10, 2023
work page 2023
-
[1]
K. K. Likharev and V . K. Semenov, “Rsfq logic/memory family: a new josephson-junction technology for sub-terahertz-clock-frequency digital systems,” IEEE TAS, vol. 1, no. 1, pp. 3–28, March 1991
work page 1991
-
[2]
M. Badaroglu, “More moore,” in 2021 IEEE International Roadmap for Devices and Systems Outbriefs . IEEE, 2021, pp. 01–38
work page 2021
-
[3]
Superconducting quantum electronics,
S. Razmkhah and P. Febvre, “Superconducting quantum electronics,” 2023
work page 2023
-
[4]
A layout design flow for rsfq circuits based on cell clustering and mixed wiring of jtls and ptls,
T. Dejima, K. Takagi, and N. Takagi, “A layout design flow for rsfq circuits based on cell clustering and mixed wiring of jtls and ptls,” IEEE Transactions on Applied Superconductivity, vol. 30, no. 7, pp. 1–6, 2020
work page 2020
-
[5]
Interconnect routing for large-scale rsfq circuits,
T. Jabbari, G. Krylov, S. Whiteley, E. Mlinar, J. Kawa, and E. G. Friedman, “Interconnect routing for large-scale rsfq circuits,” IEEE Transactions on Applied Superconductivity, vol. 29, no. 5, pp. 1–5, 2019
work page 2019
-
[6]
Placement and routing methods based on mixed wiring of jtls and ptls for rsfq circuits,
T. Dejima, K. Takagi, and N. Takagi, “Placement and routing methods based on mixed wiring of jtls and ptls for rsfq circuits,” in 2019 IEEE International Superconductive Electronics Conference (ISEC), 2019, pp. 1–3
work page 2019
Show all 17 references
-
[7]
A statistical approach to delay, jitter and timing of signals of rsfq wiring cells and clocked gates,
M. E. C ¸ elik and A. Bozbey, “A statistical approach to delay, jitter and timing of signals of rsfq wiring cells and clocked gates,” IEEE Transactions on Applied Superconductivity, vol. 23, no. 3, pp. 1 701 305– 1 701 305, 2013
2013
-
[8]
Timing characterization for rsfq cell library,
D. Amparo, M. Eren C ¸ elik, S. Nath, J. P. Cerqueira, and A. Inamdar, “Timing characterization for rsfq cell library,” IEEE Transactions on Applied Superconductivity, vol. 29, no. 5, pp. 1–9, 2019
2019
-
[10]
The coldflux rsfq cell library for mit-ll sfq5ee fabrication process,
L. Schindler, J. A. Delport, and C. J. Fourie, “The coldflux rsfq cell library for mit-ll sfq5ee fabrication process,” IEEE Transactions on Applied Superconductivity, vol. 32, no. 2, pp. 1–7, 2022
2022
-
[11]
Su- perconductor logic implementation with all-jj inductor-free cell library,
H. Cong, S. Razmkhah, M. A. Karamuftuoglu, and M. Pedram, “Su- perconductor logic implementation with all-jj inductor-free cell library,” IEEE Transactions on Applied Superconductivity , vol. 34, no. 9, pp. 1–10, 2024
2024
-
[12]
Design and fabrication of rsfq cell library for middle-scale applications,
M. Maezawa, F. Hirayama, and M. Suzuki, “Design and fabrication of rsfq cell library for middle-scale applications,” Physica C: Supercon- ductivity, vol. 412-414, pp. 1591–1596, 2004
2004
-
[13]
Design and operation of rsfq cell library fabricated by using a 10- ka/cm2 nb technology,
M. Maezawa, M. Ochiai, H. Kimura, F. Hirayama, and M. Suzuki, “Design and operation of rsfq cell library fabricated by using a 10- ka/cm2 nb technology,” IEEE Transactions on Applied Superconduc- tivity, vol. 17, no. 2, pp. 500–504, 2007
2007
-
[14]
Rsfq/ersfq cell library with improved circuit optimization, timing verification, and test characterization,
A. Inamdar, D. Amparo, B. Sahoo, J. Ren, and A. Sahu, “Rsfq/ersfq cell library with improved circuit optimization, timing verification, and test characterization,” IEEE Transactions on Applied Superconductivity , vol. 27, no. 4, pp. 1–9, 2017
2017
-
[15]
High-density superconductive logic circuits utilizing 0 and π josephson junctions,
S. Razmkhah and M. Pedram, “High-density superconductive logic circuits utilizing 0 and π josephson junctions,” Engineering Research Express, vol. 6, no. 1, p. 015307, 2024
2024
-
[16]
Su- perconductor logic implementation with all-jj inductor-free cell library,
H. Cong, S. Razmkhah, M. A. Karamuftuoglu, and M. Pedram, “Su- perconductor logic implementation with all-jj inductor-free cell library,” IEEE Transactions on Applied Superconductivity , 2024
2024
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.