Цитата
Vref, v1, v2 > 0.
Вот тут кмк ошибка, вопрос: как нижний ОУ может сделать на инверсном входе ноль, если оба Vref и V1 положительны (втекающие токи есть на инверсном входе есть, а вытекающего нету) ? Ответ: никак. В общем источник V1 должен быть отрицательным.
Во-вторых, чтобы полевики работали как управляемое сопротивление они должны находиться в омической области, а это десятки-сотни милливольт между сток-исток.
При уровнях Vref и Vin2 до пары десятков мВ формула Vout = R2/R1 * Vin1*Vin2/Vref очень хорошо выполняется, что видно по симуляции:
При уровне 100мВ на стоке коэф.передачи уже заметно лажает: