Quasi- vs Fully-Adiabatic Logic

Open the research literature and you will find a zoo of "adiabatic logic families" — dozens of circuit styles, each with its own acronym, each promising to ride the ramping-supply trick down to negligible energy. Here is the uncomfortable secret: most of them can't. Slow their clocks a hundredfold and the energy per operation stops falling, stuck on a floor thousands of times above where the theory says it could go. These are the quasi-adiabatic families. Understanding exactly where they cheat is the best diagnostic skill in this field — and it leads to a beautiful punchline: a circuit that commits none of the sins is forced, by that very discipline, to be logically reversible.

The three classic sins

A circuit is only as adiabatic as its worst habit. Each of these habits burns a chunk of energy that is fixed per cycle — no amount of slowing shrinks it:

A family with any of these habits is quasi-adiabatic: its energy per cycle looks like E = \tfrac{RC}{T}CV^2 + E_{\text{fixed}}, and once T is large the fixed term rules.

The leakage floor and the U-curve

Even a circuit with no fixed-loss sins hits a subtler wall. Real transistors leak: a small current I_{\text{leak}} seeps through nominally-off devices the whole time the circuit is powered. Leakage energy grows with the cycle time, so the total is

E(T) \;=\; \underbrace{\frac{RC}{T}\,CV^2}_{\text{falls with }T} \;+\; \underbrace{I_{\text{leak}}\,V\,T}_{\text{grows with }T},

a U-shaped curve with a genuine minimum at a finite optimal ramp time. Balance the two terms and the optimum sits where they are equal — beyond it, patience actively hurts. Slide the leakage up and watch the whole floor rise and the sweet spot move earlier:

In these normalised units (adiabatic term a/T, leakage term LT) the optimum is T^{*} = \sqrt{a/L}, and the minimum energy is E_{\min} = 2\sqrt{aL} — both terms contributing equally. Quadruple the leakage and the best ramp time halves while the floor doubles. Leakage is why practical adiabatic circuits favour slightly old-fashioned, low-leak transistor processes over the leakiest bleeding-edge nodes.

Fully adiabatic — and the trap that closes

Call a circuit fully adiabatic when it commits none of the fixed-loss sins. Spelled out as design rules:

Now watch the trap close. To un-drive a node adiabatically, the circuit must, at un-driving time, still be able to determine that node's value from signals it still holds — otherwise it cannot line the voltages up before reconnecting, and rule one is violated. A gate that has thrown away the information needed to reconstruct its outputs simply cannot take them back gently. Chasing a purely electrical goal — zero fixed losses — has forced a logical property: fully adiabatic circuits must be logically reversible. The two halves of this course collide in a transistor diagram.

And the converse cuts just as hard: a quasi-adiabatic family that erases bits is bounded below by Landauer's principle — at least kT \ln 2 per erased bit, no matter how slowly it is clocked, on top of all its engineering losses. Erasure is not an engineering bug you can ramp away; it is a physics invoice.

The 1990s produced adiabatic families faster than anyone could benchmark them: ECRL ("efficient charge recovery logic"), 2N-2N2P, PAL ("pass-transistor adiabatic logic"), CAL ("clocked adiabatic logic"), quasi-static energy recovery logic, and more. Nearly all are quasi-adiabatic — typically they recover charge on the easy paths but commit the nonzero-bias sin somewhere in each cycle, or quietly reset internal nodes to ground. That is not a scandal; a quasi-adiabatic circuit can still beat conventional CMOS by a healthy factor at modest speeds, which for a battery-powered chip is real money. The scandal is only in the marketing: "asymptotically zero energy" belongs exclusively to the fully adiabatic few — and they must carry reversible logic on their backs to earn it.

The word on the paper is not a property of the circuit. The test is always the same: ask what happens to the energy per operation as the clock slows without bound. If it keeps falling like 1/T until leakage takes over, the circuit is genuinely (fully) adiabatic. If it flattens onto a fixed floor — a diode drop's CVV_d, a hidden \tfrac{1}{2}CV_x^2 snap, a node quietly dumped to ground — it is quasi-adiabatic, and the floor tells you which sin it commits. Apply the test ruthlessly, including to this course: when a later lesson claims a family is fully adiabatic, you now own the tool to audit the claim.