Информационные технологии проектирования электронных средств

- 32 - Полный набор модулей Т определяет совокупность логических опера- ций, которые могут быть получены с их помощью : Ф =  j j ϕ = { ϕ 1 , ϕ 2 ,…, ϕ ν }. При этом могут иметь место следующие случаи: 1) Ψ⊆ Ф, т.е. для каждого элемента ФЛС существует соответствующий аналог среди компонентов модульного набора T ; 2) Ψ⊄ Ф, т.е. компоненты модульного набора Т реализуют не все функции схемы. Часть их остается для дальнейшего покрытия. В первом случае задача покрытия решается однозначно. Во втором слу- чае задача покрытия разбивается на два этапа: предварительный и окончатель- ный. Замечание . Для улучшения покрытия осуществляются парные переста- новки однотипных ЛЭ различных модулей до получения окончательного по- крытия. Вопросы для самоконтроля 1. Сформулируйте задачу типизации. 2. Какие ТЭК называются однотипными. 3. Математическая постановка задачи типизации. 4. Каким требованиям должны удовлетворять подграфы из групп разбиения при решении задачи типизации. 5. Какой критерий оптимизации используется при решении задачи типиза- ции. 6. Сформулируйте задачу покрытия. 7. Какие критерии используются при решении задачи покрытия. 8. Перечислите основные классы наборов для решения задачи покрытия.