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

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




                                                                   15