electrical.mosfet.vth

Three distinct suites: educational examples on the calculator page, this legacy regression count (26/26 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.3.1 matches · Semantic contract ✓ · Production attested · Public/cache ✓ · Origin ✓

CVP verification suite

Protocol checks from the Evidence Manifest. Distinct from the legacy regression suite above. Verification revision 2026-10-28.meta-metrics-v2. Calculation version 1.3.1. CVP 1.0.0-proposed. 4/4 golden · 5/5 CVP boundary · 5/5 invalid · 11/11 property · 2/2 metamorphic · 2/2 cross-interface · 12/12 CVP contract. digest 47bfca31fd16.

• Golden (oracle-backed) 4 / 4
• CVP boundary 5 / 5
• Invalid input 5 / 5
• Property 11 / 11
• Metamorphic 2 / 2
• Cross-interface 2 / 2
• CVP contract 12 / 12
• 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 output required declared PASS
• schema valid input executes PASS
• engine success output validates schema PASS
• schema rejects incomplete input PASS
• subthreshold warning codes PASS
• cutoff id zero subthreshold warning PASS
• rest success payload validates schema PASS

Fingerprint sha256:62d830442da390bacca788207a7c0cde30c1f11982f6a67aa61d54533e60497a

Input schema sha256:8aaf0a70ca3197d145c41aebca84830791334284c7830b197771ba8e83f8178e · Output schema sha256:07ec52f59e9a4a0172410ab1152a5879545b7d79b2f2a48a1355a4135ea860cf · 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.

Tool

mosfet-vth

Engine

mosfet-vth

Engine build

2026-09-10

Evidence core

2026-09-05T02:35:39.217Z

Rendered

2026-11-10T05:18:41.899Z

Last reviewed

2026-08-17

Assumptions

• Ideal long-channel square-law NMOS model. Not BSIM, velocity saturation, or short-channel.
• Vth is the model threshold parameter, not datasheet VGS(th) and not recommended gate drive.
• kn = μn·Cox·W/L such that Id_sat = ½·kn·Vod². The ½ factor is not included in kn.
• When Vds is omitted, Id uses the saturation equation and region is above_threshold or cutoff.
• When Vds is provided: cutoff if Vod≤0; linear if 0≤Vds<Vod; saturation if Vds≥Vod.
• Vod > 0 means above the model threshold, not strong inversion.
• Cutoff returns Id = 0 A. Subthreshold current is not modeled.
• Solve-Vth always uses the saturation extract Vth=Vgs−√(2Id/kn) at the measurement temperature.
• Linear Vth(Tj) does not scale kn or μ(T).
• Default α = −0.002 V/°C is a Si planning value, not a datasheet TCV of VGS(th).

Limitations

• Long-channel square-law only — not BSIM, velocity saturation, or short-channel
• Vth is the model threshold parameter, not datasheet VGS(th) and not recommended gate drive
• kn = μn·Cox·W/L such that Id_sat = ½·kn·Vod²; the ½ is not included in kn
• Without Vds, Id uses the saturation equation; with Vds, region is cutoff / linear / saturation
• Cutoff returns Id = 0 A; subthreshold leakage is not modeled
• Linear Vth(Tj) does not scale kn / μ(T); default α = −0.002 V/°C is a Si planning value, not datasheet TCV