schemd
schemd · simulation laboratory v0.4.0 · 11 environments

Enter the circuit frontier.

11 live experiments span foundational circuits and frontier systems: switched-mode power, filter response, quantum protocols, error correction, and classical logic. Every test bed is compiled from the same @schemd/core source and instrumented with fault injection, probes, and live numerical models.

Several are now described entirely as data rather than code — a compiled diagram, a whitelisted model, and declarative bindings. Describe one of your own →

·

domains
9
environments
11
frontier labs
3
recommended curriculum · local progress

11 of 11 laboratories online

0 of 11 experiments completed on this device

  • 01 · Digital

    8-Bit Digital Adder

    Cascading ripple-carry gate matrix with a live combinational pass.

    Lab 1 · objective Trace a carry dependency through a combinational gate network.

    No prerequisite

    Core event-driven Boolean solver
    Si=Ai⊕Bi⊕Ci  ⋅  Ci+1=AiBi+Ci(Ai⊕Bi)S_i = A_i \oplus B_i \oplus C_i \;\cdot\; C_{i+1} = A_iB_i + C_i(A_i \oplus B_i)
    • 8× full-adder cell
    • 16× XOR + 16× AND
    • 8× OR carry merge
    • A/B/Cᵢₙ + Sum ports

    8-bit operands · 0–255 · sum 0–511 with carry-out · per-gate propagation delay

    ○ not completed diagnosis challenge · fault identity withheld Initialize module →
  • 02 · Analog

    Dynamic RC Low-Pass Filter

    Sweep R, C, and frequency; watch the pole attenuate the output trace.

    Lab 2 · objective Predict how component values move a first-order pole and attenuation.

    No prerequisite

    Core frequency-domain transfer function
    fc=12πRC  ⋅  ∣H(jω)∣=11+(f/fc)2f_c = \dfrac{1}{2\pi RC} \;\cdot\; |H(j\omega)| = \dfrac{1}{\sqrt{1 + (f/f_c)^2}}
    • input source node
    • series resistor R
    • shunt capacitor C
    • reference ground

    R 100 Ω – 1 MΩ · C 1 nF – 10 µF · sweep 10 Hz – 100 kHz

    ○ not completed diagnosis challenge · fault identity withheld Initialize module →
  • 03 · Quantum

    Bell-State Entanglement Visualizer

    Prepare the four Bell states; sample the ⟨Z⊗Z⟩ correlation.

    Lab 3 · objective Distinguish an entangled Bell state from a classical mixture using outcomes and CHSH.

    No prerequisite

    Advanced state-vector + Born sampler
    ∣Φ+⟩=∣00⟩+∣11⟩2  ⋅  ⟨Z⊗Z⟩∈[−1,+1]|\Phi^+\rangle = \dfrac{|00\rangle + |11\rangle}{\sqrt{2}} \;\cdot\; \langle Z \otimes Z \rangle \in [-1, +1]
    • 2× qubit register line
    • Hadamard gate
    • CNOT control/target
    • measurement ports

    4 Bell states · amplitudes ±1/√2 · CHSH witness S ∈ [0, 2√2]

    ○ not completed diagnosis challenge · fault identity withheld Initialize module →
  • 04 · Mixed-signal

    555 Astable Multivibrator

    A real charge/discharge loop clocking an output LED.

    Lab 4 · objective Relate RC charge thresholds to oscillator frequency and duty cycle.

    Builds on Dynamic RC Low-Pass Filter

    Core hybrid charge/discharge integrator
    f=1.44(RA+2RB) C  ⋅  D=RA+RBRA+2RBf = \dfrac{1.44}{(R_A + 2R_B)\,C} \;\cdot\; D = \dfrac{R_A + R_B}{R_A + 2R_B}
    • 8-pin 555 IC block
    • R_A + R_B timing pair
    • timing capacitor C_T
    • output LED + limiter

    V_cc = 5 V · threshold ⅔ · trigger ⅓ · astable + monostable modes

    ○ not completed diagnosis challenge · fault identity withheld Initialize module →
  • 05 · Advanced quantum

    Quantum Teleportation Protocol

    Step a three-qubit register through the full teleportation script.

    Lab 5 · objective Explain why entanglement and two classical bits are both necessary for teleportation.

    Builds on Bell-State Entanglement Visualizer

    Advanced stepped three-qubit protocol
    ∣ψ⟩=α∣0⟩+β∣1⟩  ⋅  α=cos⁡θ2, β=eiϕsin⁡θ2|\psi\rangle = \alpha|0\rangle + \beta|1\rangle \;\cdot\; \alpha = \cos\tfrac{\theta}{2},\ \beta = e^{i\phi}\sin\tfrac{\theta}{2}
    • 3× qubit trace (ψ, A, B)
    • H + CNOT preparation
    • Bell-basis measurement
    • X/Z correction gates

    Bloch θ ∈ [0, π], φ ∈ [0, 2π] · 6-step protocol · fidelity F = |⟨ψ|ψ_out⟩|²

    ○ not completed diagnosis challenge · fault identity withheld Initialize module →
  • 06 · Power electronics

    Closed-Loop Buck Converter

    Drive a PWM power stage across CCM, boundary, and discontinuous conduction.

    Lab 6 · objective Predict averaged buck-converter output and recognize conduction-mode boundaries.

    Builds on Dynamic RC Low-Pass Filter

    Frontier continuous-time averaged state space
    i˙L=DVin−voL,v˙o=iL−vo/RC\dot i_L = \dfrac{D V_{in}-v_o}{L},\quad \dot v_o = \dfrac{i_L-v_o/R}{C}
    • PWM feedback controller
    • PMOS high-side switch
    • Schottky freewheel diode
    • L–C output network

    V_in 5–36 V · f_sw 20–500 kHz · CCM / BCM / DCM classification

    ○ not completed diagnosis challenge · fault identity withheld Initialize module →
  • 07 · UML statechart

    Live State Machine

    Fire events and watch a token walk the transitions of a running UML machine.

    Lab 7 · objective Predict guarded state transitions and identify a liveness failure.

    Builds on 8-Bit Digital Adder

    Advanced event-driven finite-state executor
    δ:S×Σ→S  ⋅  (s,e)↦snext if guard(e)\delta : S \times \Sigma \rightarrow S \;\cdot\; (s, e) \mapsto s_{\text{next}} \text{ if guard}(e)
    • initial pseudostate
    • Red / Green / Yellow states
    • 4 guarded transitions
    • event queue + trace log

    deterministic δ · one active state · guarded, timed transitions

    ○ not completed diagnosis challenge · fault identity withheld Initialize module →
  • 08 · Quantum

    Quantum Error Correction

    Protect a qubit you are forbidden to read by measuring only disagreement.

    Lab 8 · objective Infer a single-qubit bit flip from syndrome parity without reading the logical state.

    Builds on Bell-State Entanglement Visualizer

    Frontier stabilizer parity + syndrome decoder
    ∣0⟩L=∣000⟩, ∣1⟩L=∣111⟩  ⋅  s=(q0⊕q1, q1⊕q2)|0\rangle_L = |000\rangle,\ |1\rangle_L = |111\rangle \;\cdot\; s = (q_0{\oplus}q_1,\ q_1{\oplus}q_2)
    • logical qubit → 3 physical
    • injectable X error
    • 2 ancilla syndrome bits
    • majority-vote decoder

    corrects any single bit-flip · syndrome ∈ {00,01,10,11} · logical fidelity 0/1

    ○ not completed diagnosis challenge · fault identity withheld Initialize module →
  • 09 · Active analog

    Wien-Bridge Oscillator

    An amplifier with just enough positive feedback sings a pure tone out of noise.

    Lab 9 · objective Use loop gain and phase to predict oscillator startup or decay.

    Builds on Dynamic RC Low-Pass Filter

    Advanced second-order loop with amplitude limiting
    f0=12πRC  ⋅  Aβ=1 (Barkhausen), gain =3f_0 = \dfrac{1}{2\pi RC} \;\cdot\; A\beta = 1 \text{ (Barkhausen), gain } = 3
    • op-amp gain stage
    • series + shunt RC bridge
    • R_f / R_g gain setting
    • amplitude-limiting element

    gain 2.8 – 3.2 · f₀ from RC · Hopf onset at gain = 3

    ○ not completed diagnosis challenge · fault identity withheld Initialize module →
  • 10 · Sequential digital

    Maximal-Length LFSR

    Four flip-flops and one XOR make a stream that looks random but repeats after exactly 15.

    Lab 10 · objective Connect primitive feedback taps to the period of an LFSR sequence.

    Builds on 8-Bit Digital Adder

    Advanced clocked shift register over GF(2)
    x4+x3+1  ⋅  period=2n−1=15x^4 + x^3 + 1 \;\cdot\; \text{period} = 2^n - 1 = 15
    • shared clock
    • 4× D flip-flop chain
    • XOR feedback taps 3,4
    • serial m-sequence output

    period 2⁴ − 1 = 15 · all-zero state forbidden · primitive polynomial taps

    ○ not completed diagnosis challenge · fault identity withheld Initialize module →
  • 11 · Quantum

    Grover 3-Qubit Search

    Rotate the whole haystack toward the needle — √N queries, not N.

    Lab 11 · objective Explain Grover search as amplitude rotation and identify over-rotation.

    Builds on Bell-State Entanglement Visualizer

    Frontier amplitude amplification over 8 states
    ∣s⟩→(D Uf)k∣s⟩,k≈π4N  ⋅  N=8|s\rangle \to (D\,U_f)^k|s\rangle,\quad k \approx \dfrac{\pi}{4}\sqrt{N} \;\cdot\; N = 8
    • 3-qubit uniform superposition
    • oracle U_f (phase flip)
    • diffusion 2|s⟩⟨s| − I
    • 8-state amplitude readout

    N = 8 search space · optimal k = 2 rounds · peak P(target) ≈ 0.945

    ○ not completed diagnosis challenge · fault identity withheld Initialize module →