Deterministic Bootstrap total charge droop dV_boot = (Q_g + I_qbs*T_on_max + Q_ls)/C_boot vs UVLO margin + DESAT current-source blanking time t_blank = C_blank * (V_desat_th - V_f_diode - I_chg*R_desat) / I_chg engine (.json, .csv, .sp) built for Infineon EiceDRIVER, Texas Instruments (ISO5852S/UCC217xx), Broadcom (ACPL-332J), Wolfspeed — zero-upload ephemeral Wasm RAM execution.
Running ephemeral Wasm verification…