Эти алгоритмы служат для преобразования функциональных и логических схем в принципиальные, когда известны: функциональные и конструктивные параметры элементов заданного набора. Предполагается, что элементы заданного набора могут реализовать все функции схемы; в противном случае потребуется ручная доработка покрытия или разработка специальных элементов частного применения.
Исходная схема представляет множество = {, ,..., } связанных между собой функциональных элементов, таких как логические элементы И, ИЛИ, НЕ, триггер, усилитель, генератор, формирователь и т. д., каждый из которых реализует некоторую функцию ψi, а их множество определяет совокупность -всех функций = {, ,..., }, выполняемых в схеме. Схема представляется графом (, ), множество вершин которого отображает элементы, а множество ребер — связи между ними. Задан ограниченный набор (библиотека) типов модулей = {, ,..., }, где — число типов конструктивных модулей в используемой библиотеке, каждый из которых реализует одну или несколько функций (имеет определенный, заранее известный состав функциональных элементов). Каждый конструктивный модуль можно представить в виде подграфа , в котором вершины отображают функциональные элементы, входящие в модуль.
Требуется разбить исходную схему на подсхемы (подграфы) при выполнении следующих условий:
Для оценки качества покрытия используются следующие показатели:
Эвристический алгоритм покрытия включает операции вложения подграфов в граф схемы . Поочередно для каждого - ищутся в графе изоморфные подграфы . Найденные удаляются из графа . Если после этого часть графа осталась непокрытой, то для каждого - вновь ищутся подграфы , такие, что . Процесс продолжается, пока вся схема не окажется покрытой модулями заданного набора.
Качество покрытия зависит от порядка, в котором просматриваются подграфы . Поэтому предусматривается получение нескольких вариантов покрытия по рассмотренному последовательному алгоритму с выбором наилучшего в соответствии с одним из критериев компоновки.
Алгоритмы покрытия упрощаются при использовании набора модулей, состоящих из несвязанных между собой функциональных элементов.
Начальное покрытие может быть улучшено парными перестановками однотипных функциональных элементов различных модулей. Замена элементов производится, если при перестановке увеличивается число внутренних связей модулей и уменьшается число внешних связей.