[IEEE TASC] qSVS: Superconducting Circuit Verification System and formal equivalence checking framework.
-
Updated
Oct 6, 2026 - SystemVerilog
[IEEE TASC] qSVS: Superconducting Circuit Verification System and formal equivalence checking framework.
[IEEE TASC] JoSIM: High-performance SPICE-level superconductor circuit simulator for Single-Flux-Quantum logic.
Open-source tutorials, interactive notebooks, and guides for Single-Flux-Quantum circuit engineering.
Community health files and default organization profiles for Single-Flux-Quantum.
Official website of the SCU Foundation — the institutional steward of the Superconducting Compute Unit (SCU) architecture.
To associate your repository with the cryogenic-computing topic, visit your repo's landing page and select "manage topics."