Современная электроника №1/2025

ПРОЕКТИРОВАНИЕ И МОДЕЛИРОВАНИЕ 8 WWW.CTA.RU СОВРЕМЕННАЯ ЭЛЕКТРОНИКА • № 1 / 2025 Рис. 5g. Результат нажатия кнопки «Добавить» для примера на рис. 5f Рис. 6. Шаблон и форма для формирования строки правил «Зазоры» Рис. 5h. Результат дополнительного выбора цепей «MDDR_ DQ5» и «MDDR_DQ0» Рисунки 5e, 5f, 5g показывают про- цесс заполнения поля предиката цепи: сначала происходит выбор цепей и классов цепей в списке (список оформ- лен как фрагмент логического выра- жения в соответствии с синтаксисом языка описания правил). После подтверждения в списке выбор цепей отражается как логиче- ское выражение, которое можно доба- вить в поле предиката строки правил. В данном примере был выбран класс цепей «Power» и цепь «GND», результирующее логическое выра- жение в предикате выглядит как (NetClass="Power" || Net="GND") . Рисунок 5h показывает резуль- тат дополнительного выбора цепей « MDDR_DQ5 » и « MDDR_DQ0 ». После выбора этих цепей и добавле- ния окончательное логическое выра- жение в поле предиката строки выгля- дит следующим образом: (NetClass="Power" || Net="GND") || (Net="MDDR_DQ5" || Net="MDDR_DQ0"), т.е. добавление нового фрагмента логического выражения обрамляется скобками. В данном случае это может показаться излишним, но при фор- мировании предикатов, например, в формах для зазоров (рис. 6), это часто принципиально необходимо. Формируем правило «Зазоры» Форма для создания строки правил, задающих Зазоры , предполагает фор- мирование трёх полей предикатов. Первые два предиката осуществляют фильтрацию объектов цепей по типу a) c) f) b) d) e)