Почему эти два кода не эквивалентны? Я проверяю логическую эквивалентность между ними, они терпят неудачу, в чем может быть ошибка? Будет ли это воспринято как несоответствие ширины или сеть, управляемая несколькими драйверами? Я использую cadence...

Я пытаюсь найти алгоритм для решения текущей проблемы. У меня есть несколько неизвестных переменных (F1, F2, F3,... Fx) и (R1, R2, R3... Rx) и несколько уравнений, подобных этому: F1 + R1 = a F1 + R2 = a F2 + R1 = b F3 + R2 = b F2 + R3 = c F3 +...