Учебная САПР электронных средств. Асланянц В.Р. - 16 стр.

экстремального типа: нелинейная дискретная задача математического про-
граммирования.
     В частном случае, когда ИМС содержит несвязанные между собой
логические элементы, то задача становится линейной и упрощается: это
задача ЦЛП – целочисленного линейного программирования [7].
     Алгоритмы покрытия
     Ввиду трудности формализации и сложности решения задача покры-
тия схем ЭС решается обычно вручную. Известные алгоритмы являются
эвристическими [1]. Для частного случая, когда удается свести задачу к
ЦЛП, можно применить метод отсечений [7] или эвристические алгорит-
мы.

            3.2. Описание проектной задачи разбиения схем ЭС

      Подсхемы, полученные в результате разбиения СxЭПр, реализуются
в дальнейшем в виде отдельных конструктивных узлов (например, ячеек
ЭС). Поэтому говорят также о разбиении схемы на узлы.
      Входные данные
      1. Схема электрическая принципиальная ЭС (пример СxЭПр пред-
ставлен на рис. 2).
      2. Параметры конструкций будущих конструктивных узлов. Обычно
это вместимость узла и число внешних выводов узла (число контактов со-
единителей конструктивного узла).
      Выходные данные
      Полученная совокупность подсхем (электрических принципиаль-
ных).
      Критерии качества
      1. Минимум числа межузловых соединений.
      2. Минимум числа узлов (подсхем).
      3. Минимум числа типов узлов (задача типизации).
      4. Функциональная законченность узлов (подсхем).
      Ограничения
      1. Вместимость конструктивного узла,
      2. Число внешних выводов узла.
      Математические модели объектов проектирования
      Математические модель СxЭПр ЭС – взвешенный по вершинам ги-




                                                                    16