Оптимальность для двухуровневой конструкции:
На карте Карно могут присутствовать основных импликантов , которые охватывают минут , не охватываемых каким-либо другим импликантом . Они называются существенные , поскольку они должны быть частью любого выбора основных импликантов, представляющих схему.
Несущественные главные импликанты могут быть или не быть частью выбранного покрытия. Есть выбор, который необязательно выбирать. Следовательно, не всегда очевидно, сколько простых импликантов должно быть выбрано для охвата всех минтерм. Но в практических случаях только с четырьмя или менее входными переменными, как правило, мало сомнений. Тем не менее, в общем случае со многими входными переменными, для решения задачи set cover *1019* решение может занять произвольно много времени.
Многоуровневость намного сложнее:
Многоуровневый логический синтез является предметом исследований на протяжении десятилетий. Не известен алгоритм, который всегда находит оптимальную схему.
Критерии оптимизации варьируются в зависимости от приложения. Количество уровней затвора может быть менее значимым, чем физическая задержка между изменением входа и выхода. Задержка в свою очередь зависит от используемой технологии затвора и разветвления управляемых входов затвора. Другие критерии включают площадь микросхемы и количество требуемых интегральных микросхем 74xx серии .