Saturation Cascade MOSFETS (Need Help from EE Experts)
I believe you can use \$M1SAT &gt; 0\$, \$M2SAT &gt; 0\$ and \$M3SAT &lt; 0\$ (since that is a PMOS) to check for saturation. However, I did want to point out that your \$M2OD\$ and \$M3OD\$ will not be the overdrive voltage \$V_{GS} - V_{TH}\$.