The same pin on equivalent gates
5723. The same pin on equivalent gates must have the same Pin Eq. See row # and #.
(Одинаковые выводы символов эквивалентных секций должны иметь одинаковые коды эквивалентности выводов Pin Eq. См. строки # и #.) Причина: эквивалентные секции должны иметь одинаковые символы и одинаковую информацию о символах.