Public evidence

electrical.mosfet.switching_loss

Machine-checked verification for calculation version 1.0.0 · tier expert_verified

Open calculator API Capability Download JSON CVP Manifest MCP Review policy

CVP: CVP VERIFIED · CVP protocol 1.0.0-proposed · Engineering assurance· Hard-switching approximation — soft-switching / Coss / Qrr excluded here · Protocol · Schema · Production report

Declared partition coverage: PASS · 3/3 declared partitions (overlap-only, with-gate, invalid-domain)
Versions: Calculation 1.0.0 · CVP protocol 1.0.0-proposed
CVP identity: 5/5 property · digest e80c68d19929

Verification

Legacy regression suite: 13/13 calculation tests · Production surface contract 11/11

Three distinct suites: educational examples on the calculator page, this legacy regression count (13/13 golden + boundary), and the CVP verification suite below. They are not the same number. Property, metamorphic, round-trip, O3, and interface statuses/checks are recorded in the CVP Manifest . SKIP (0/0) means that suite has no published vectors.

This calculator CURRENT · Public schema 1.0.0 matches · Semantic contract ✓ · Production attested · Public/cache ✓ · Origin ✓

CVP verification suite

Protocol checks from the Evidence Manifest. Distinct from the legacy regression suite above. Calculation version 1.0.0. CVP 1.0.0-proposed. 2/2 golden · 6/6 CVP boundary · 6/6 invalid · 5/5 property · 1/1 cross-interface · 11/11 CVP contract. digest e80c68d19929.

Golden (oracle-backed) 2 / 2
CVP boundary 6 / 6
Invalid input 6 / 6
Property 5 / 5
Cross-interface 1 / 1
CVP contract 11 / 11
Interfaces PASS · UI (SSR) / REST / MCP
Interface claim ui-ssr is query-result HTML, not a live browser session.
Assurance Engineering

contract page version PASS
contract capability version PASS
contract input schema version PASS
contract output schema version PASS
evidence version matches manifest PASS
schema valid input executes PASS
engine success output validates schema PASS
schema rejects incomplete input PASS
share url roundtrip si PASS
share url qg overlap heading PASS
unit hydrate ns khz nc PASS

Fingerprint sha256:81d79dfa33e0dfffd963aff7c6d865c435d7232fa86a12ad9442a63d99ca6cc9

Input schema sha256:691a1017c9dc2931d1dc3d0dbb6d5b5323d77bedf81a182526d195503eb741b2 · Output schema sha256:5fb55f7eccfcd2870897ca921972e8b1212bea9ab915f39863c854ff1812c67e · Build-time SHA-256 digests prove published artifacts agree with each other (release_integrity.scope=workspace). Production attestation GETs canonical URLs twice (public/cached view and origin), including Capability HTML, via npm run attest:production --write (published at /.well-known/calculatorx-production-attestation.json) and fails if the public Capability page advertises a different calculation_version. This is artifact consistency, not an independent immutable release log.

Build & scope

Engine identity and declared limitations.

Tool: mosfet-switching-loss
Engine: mosfet-switching-loss
Engine build: 2026-09-10
Evidence core: 2026-09-05T02:35:39.217Z
Rendered: 2026-09-16T22:03:43.716Z
Last reviewed: 2026-08-16

Assumptions

Linear V/I transition; neglects Coss/Qoss and diode recovery.
tr/tf are effective overlap times at the operating point.
P_gate is gate-drive power shared among driver, Rg, and Rg,int — not MOSFET junction dissipation.
Qg is total gate charge at approximately the entered Vdrive, not an unscaled datasheet Qg at a different VGS.

Limitations

Hard-switching linear transition only — not soft-switching or Eon/Eoff tables
Qg and Vdrive must both be present or both omitted (else NEEDS_TWO_INPUTS)
Conduction loss is a separate capability
P_gate is gate-drive power — not necessarily dissipated entirely in the MOSFET junction

Sources

Standards and references supporting this tool specification. Methods are listed separately — they are algorithms, not bibliographic sources.

Erickson & Maksimović — Fundamentals of Power Electronics — Hard-switching loss estimates
Supports: ½·V·I·t·f transition-loss model
Texas Instruments SLYT664 — MOSFET power losses and how they affect power-supply efficiency — Switching and gate-drive loss
Supports: P_sw ≈ ½·V·I·(tr+tf)·f; P_gate = Qg·Vdrive·f
Texas Instruments SLUA618 — Fundamentals of MOSFET and IGBT Gate Driver Circuits — Gate-drive energy split among driver and gate resistance
Supports: P_gate is not entirely dissipated in the MOSFET junction

Legacy published checks

Golden and boundary cases from the legacy Evidence JSON. CVP property, metamorphic, round-trip, O3, and interface statuses/checks are recorded in the Manifest — including SKIP when a suite has no vectors.

ID	Kind	Status	Detail
`hard-sw`	golden	pass	Expected P_sw_W=2.16 · P_gate_W=0 · P_total_W=2.16 · Actual P_sw_W=2.16 · P_gate_W=0 · P_total_W=2.16 · Vds=48 · Id=10 · tr=5e-8 · tf=4e-8 · f_sw=100000
`with-gate`	golden	pass	Expected P_sw_W=2.16 · P_gate_W=0.05 · P_total_W=2.21 · Actual P_sw_W=2.16 · P_gate_W=0.049999999999999996 · P_total_W=2.21 · Vds=48 · Id=10 · tr=5e-8 · tf=4e-8 · f_sw=100000
`missing-tr`	boundary	pass	Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT
`qg-only`	boundary	pass	Expected NEEDS_TWO_INPUTS · Actual NEEDS_TWO_INPUTS
`zero-Vds`	boundary	pass	Expected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
`boundary-vdrive-only`	boundary	pass	Expected NEEDS_TWO_INPUTS · Actual NEEDS_TWO_INPUTS
`boundary-negative-tr`	boundary	pass	Expected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
`boundary-zero-f_sw`	boundary	pass	Expected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
`property-freq`	property	pass	2f → 2P_sw
`property-v`	property	pass	2V → 2P_sw
`property-id`	property	pass	2Id → 2P_sw
`property-times`	property	pass	2(tr+tf) → 2P_sw
`property-gate-linear`	property	pass	Qg scales P_gate only; P_sw unchanged