# Gain and phase margins
# Scope: Margins from supplied measured crossover gain/phase; does not find crossovers.
# Status: illustrative worked example; engineering review pending.
# Inputs are example values. Checks are editable example requirements, not standards.

phaseAtGainCrossover = -135 deg
gainAtPhaseCrossover = 0.5

phaseMargin := 180 deg+phaseAtGainCrossover [deg]
gainMargin := 1/gainAtPhaseCrossover
gainMarginDb := 20*log10(gainMargin)

check phase margin target: phaseMargin >= 30 deg

scenario alternative: phaseAtGainCrossover = -108 deg