Sympy-exact witness of the MOSFET-saturation anchor identities. Setup: I_D = (K/2)·(V_GS - V_T)² as a three-symbol polynomial. Identity 1 (threshold, V_GS = V_T): I_D = (K/2)·0² = 0 — the onset of conduction, canonical cutoff boundary. …
Sympy-exact witness of the MOSFET-saturation anchor identities. Setup: I_D = (K/2)·(V_GS - V_T)² as a three-symbol polynomial. Identity 1 (threshold, V_GS = V_T): I_D = (K/2)·0² = 0 — the onset of conduction, canonical cutoff boundary. …