Documentation menu
CLI reference
RSFQ logic
Exit codes
0 success, 2 bad input, 3 REFUSED (a well-formed request outside the engine's validity envelope -- a result, not an error). An out-of-envelope cell is not an error: it exits 0 with abstained set and the analytic oracle's answer.
fluxus sfq
RSFQ surrogate: structural check for a JoSIM netlist
Predict functional status and bias/Ic margin bands for an RSFQ netlist CIR file. NOTE: from 2026-08-29 the netlist path ABSTAINS on margins -- the fitted heads read spec knobs and a bare netlist carries none. Parse, DRC and the envelope check still run. Use the API with a named cell plus params for served margins.
fluxus sfq [-h] --cir PATH [--cell-type TYPE] [--json]Arguments
fluxus sfq --cir path/to/jtl.cir --cell-type jtl --jsonfluxus spice
analytic SPICE engine margins for an RSFQ cell (no JoSIM)
Run the WSL-free analytic SPICE engine (a JoSIM agreement gate exists for single cells; its results are not stored) engine on a named RSFQ cell (jtl, splitter, dff) and print its functional verdict, per-JJ phase-slip counts, and coarse-step bias/Ic margin bands. This is the exact-engine side of the fast-surrogate-vs-exact comparison.
fluxus spice [-h] --cell {jtl,splitter,dff} [--json]Arguments
fluxus spice --cell jtl --jsonGenerated from Fluxus 0.3.0 at commit b9aa57d on 2026-10-20 by python -m fluxus.docs_bundle.