Home Developers Evidence electrical.mosfet.total_loss

Public evidence

electrical.mosfet.total_loss

Machine-checked verification for calculation version 1.1.2 · tier internally_reviewed

CVP: CVP VERIFIED · CVP protocol 1.0.0-proposed · Engineering assurance· Composite conduction+switching; gate/Qrr excluded from device Tj path · Protocol · Schema · Production report

Declared partition coverage
PASS · 4/4 declared partitions (on_interval_rms, dc, with-optional-terms, invalid-domain)
Versions
Calculation 1.1.2 · CVP protocol 1.0.0-proposed
CVP identity
8/8 property · digest e1e9664a3ef4

Verification

Legacy regression suite: 39/39 calculation tests · Production surface contract 18/18

Three distinct suites: educational examples on the calculator page, this legacy regression count (39/39 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.1.2 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.1.2. CVP 1.0.0-proposed. 3/3 golden · 22/22 CVP boundary · 19/19 invalid · 8/8 property · 1/1 cross-interface · 18/18 CVP contract. digest e1e9664a3ef4.

  • Golden (oracle-backed) 3 / 3
  • CVP boundary 22 / 22
  • Invalid input 19 / 19
  • Property 8 / 8
  • Cross-interface 1 / 1
  • CVP contract 18 / 18
  • 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
  • temperature linear schema requires Tj_C PASS
  • temperature ratio schema requires rds_ratio PASS
  • share url roundtrip dc PASS
  • share url roundtrip pwm PASS
  • qg xor vdrive rejected PASS
  • schema rejects qg without vdrive PASS
  • schema rejects incomplete coss mode PASS
  • device excludes gate qrr PASS
  • omitted terms listed PASS
  • eoss overrides coss PASS

Fingerprint sha256:63796283361c5a2cc011efc022665fc2401eee8cd2aa34530424d3f8836e4702

Input schema sha256:cd71e7633305576f0635af201a746a518b735993cc5a997b458ad543f4ed3b05 · Output schema sha256:1905f96b840a7a6cc79298022264e09a3c9031a1276ed4686145711363dbfe16 · 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-total-loss
Engine
mosfet-total-loss
Engine build
2026-09-10
Evidence core
2026-09-05T02:35:39.217Z
Rendered
2026-09-16T22:03:43.717Z
Last reviewed
2026-08-19

Assumptions

  • Hard-switching linear V/I overlap.
  • Conduction current_basis contract is identical to electrical.mosfet.conduction_loss.
  • Coss term is lumped or Eoss-at-Vds — not a Qoss(V) integral.
  • P_gate is drive-circuit power, not die dissipation.
  • P_rr is commutation loss, usually not this MOSFET.
  • Tj_est is steady-state RthJA of P_device only.

Limitations

  • First-order hard-switching workspace — not Eon/Eoff tables, Qoss(V) curves, or compact models
  • Conduction uses electrical.mosfet.conduction_loss; switching/gate use electrical.mosfet.switching_loss
  • Default α = 0.006 /°C is a Si planning default, not manufacturer validated
  • P_coss from ½·Coss·V²·f is a lumped equivalent — prefer datasheet Eoss at Vds
  • Overlap P_sw plus P_coss may overestimate due to double counting; first-order only — validate against measured Eon/Eoff
  • P_rr = Qrr·Vds·f is recovered-charge commutation loss, usually attributed to the complementary switch — not this die
  • P_gate is gate-drive power (driver + Rg + Rg,int) — not MOSFET junction dissipation; Tj_est uses P_device only
  • Tj_est is steady-state RthJA only — not Zth or CFD
  • Numeric 0 on omitted P_gate/P_coss/P_rr means not included (see terms_omitted), not a measured zero
  • Optional Qg/Coss/Eoss/Qrr if present must be > 0; explicit 0 is not yet a supported known-zero state
  • Qg and Vdrive must both be present or both omitted (else NEEDS_TWO_INPUTS)

Sources

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

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.

IDKindStatusDetail
pwm-on-intervalgoldenpassExpected P_cond_W=2.5 · P_sw_W=2.16 · P_device_W=4.66 · P_total_W=4.66 · dominant_included=conduction · Actual P_total_W=4.66 · P_device_W=4.66 · P_cond_W=2.5 · P_sw_W=2.16 · P_gate_W=0 · P_coss_W=0 · P_rr_W=0 · V_drop=0.5
cond-plus-swgoldenpassExpected P_cond_W=5 · P_sw_W=2.16 · P_gate_W=0 · P_coss_W=0 · P_rr_W=0 · P_device_W=7.16 · P_total_W=7.16 · dominant_included=conduction · Actual P_total_W=7.16 · P_device_W=7.16 · P_cond_W=5 · P_sw_W=2.16 · P_gate_W=0 · P_coss_W=0 · P_rr_W=0 · V_drop=0.5
with-gate-eoss-qrrgoldenpassExpected P_cond_W=5 · P_sw_W=2.16 · P_gate_W=0.05 · P_coss_W=1 · P_rr_W=0.48 · P_device_W=8.16 · P_total_W=8.69 · coss_model=eoss · Actual P_total_W=8.690000000000001 · P_device_W=8.16 · P_cond_W=5 · P_sw_W=2.16 · P_gate_W=0.049999999999999996 · P_coss_W=1 · P_rr_W=0.48 · V_drop=0.5
coss-eqgoldenpassExpected P_coss_W=0.1152 · P_device_W=7.2752 · P_total_W=7.2752 · coss_model=coss_eq · Actual P_total_W=7.2752 · P_device_W=7.2752 · P_cond_W=5 · P_sw_W=2.16 · P_gate_W=0 · P_coss_W=0.11520000000000001 · P_rr_W=0 · V_drop=0.5
hot-rds-ratiogoldenpassExpected P_cond_W=7.2 · P_sw_W=2.16 · P_device_W=9.36 · P_total_W=9.36 · Actual P_total_W=9.36 · P_device_W=9.36 · P_cond_W=7.199999999999999 · P_sw_W=2.16 · P_gate_W=0 · P_coss_W=0 · P_rr_W=0 · V_drop=0.72
tj-from-rthgoldenpassExpected P_total_W=7.16 · P_device_W=7.16 · Tj_est_C=96.6 · Actual P_total_W=7.16 · P_device_W=7.16 · P_cond_W=5 · P_sw_W=2.16 · P_gate_W=0 · P_coss_W=0 · P_rr_W=0 · V_drop=0.5
xref-ti-slyt664-sumformula cross-checkpassExpected P_cond_W=5 · P_sw_W=2.16 · P_gate_W=0.05 · P_device_W=7.16 · P_total_W=7.21 · Actual P_total_W=7.21 · P_device_W=7.16 · P_cond_W=5 · P_sw_W=2.16 · P_gate_W=0.049999999999999996 · P_coss_W=0 · P_rr_W=0 · V_drop=0.5
xref-infineon-eoss-qrrformula cross-checkpassExpected P_coss_W=1 · P_rr_W=0.48 · P_device_W=8.16 · P_total_W=8.64 · Actual P_total_W=8.64 · P_device_W=8.16 · P_cond_W=5 · P_sw_W=2.16 · P_gate_W=0 · P_coss_W=1 · P_rr_W=0.48 · V_drop=0.5
device-excludes-gate-qrrgoldenpassExpected P_device_W=7.16 · P_gate_W=0.05 · P_rr_W=0.48 · P_total_W=7.69 · Tj_est_C=96.6 · Actual P_total_W=7.6899999999999995 · P_device_W=7.16 · P_cond_W=5 · P_sw_W=2.16 · P_gate_W=0.049999999999999996 · P_coss_W=0 · P_rr_W=0.48 · V_drop=0.5
boundary-missing-IboundarypassExpected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT
boundary-missing-trboundarypassExpected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT
boundary-qg-onlyboundarypassExpected NEEDS_TWO_INPUTS · Actual NEEDS_TWO_INPUTS
boundary-zero-IboundarypassExpected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
boundary-negative-IboundarypassExpected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
boundary-zero-RdsboundarypassExpected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
boundary-zero-VdsboundarypassExpected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
boundary-negative-trboundarypassExpected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
boundary-zero-f_swboundarypassExpected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
boundary-invalid-basisboundarypassExpected INVALID_MODE · Actual INVALID_MODE
boundary-invalid-temp-modelboundarypassExpected INVALID_MODE · Actual INVALID_MODE
boundary-invalid-coss-modelboundarypassExpected INVALID_MODE · Actual INVALID_MODE
boundary-zero-dutyboundarypassExpected FRACTION_OUT_OF_RANGE · Actual FRACTION_OUT_OF_RANGE
boundary-bad-dutyboundarypassExpected FRACTION_OUT_OF_RANGE · Actual FRACTION_OUT_OF_RANGE
boundary-nan-IboundarypassExpected INVALID_NUMBER · Actual INVALID_NUMBER
boundary-inf-VdsboundarypassExpected INVALID_NUMBER · Actual INVALID_NUMBER
boundary-eoss-needs-energyboundarypassExpected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT
boundary-coss-eq-needs-cossboundarypassExpected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT
boundary-zero-qrrboundarypassExpected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
boundary-ta-onlyboundarypasswarning THERMAL_NOT_APPLIED
boundary-rth-onlyboundarypasswarning THERMAL_NOT_APPLIED
boundary-eoss-overrides-cossboundarypasswarning EOSS_OVERRIDES_COSS
property-sum-corepropertypassP_device = P_total = P_cond + P_sw when extras omitted
property-pwm-dutypropertypasson-interval RMS · D=0.5 scales conduction only
property-gate-addspropertypassgate adds to associated total only
property-eosspropertypassEoss·f is in P_device
property-qrrpropertypassQrr is associated, not device
property-tjpropertypassTj = Ta + P_device·Rth
property-tj-ignores-gate-qrrpropertypassTj ignores P_gate and P_rr
property-hot-condpropertypassrds_ratio scales conduction only