Курсовая работа: Логическое проектирование и минимизация

Поскольку алгебра логики симметрична, то вышеприведённые рассуждения можно применить для вывода ещё одной канонической формы логических функций - совокупности конституент нуля, соединённых знаком конъюнкции. Таким образом сформулируем второе правило :

- для того чтобы получить аналитическое выражение функции, заданной таблично, в совершенной конъюктивной нормальной форме, нужно составить логическое произведение конституент нуля для тех наборов значений, входных двоичных переменных, для которых реализация функции f_i равна 0, причём символ любой переменной в некоторой конституенте берётся со знаком отрицания, если её конкретное значение x_i в рассматриваемом наборе равно 1 .

В общем случае переход к совершенной нормальной форме производится за три шага .

1-й шаг - с помощью многократного применения законов инверсии снимаются общие и групповые отрицания так, чтобы отрицания оставались только у одиночных переменных .

2-й шаг - с помощью распределительных законов производится переход к одной из нормальных форм функции.

3-й шаг - производится преобразование членов ДНФ или КНФ в соответствующие конституенты с помощью правила развёртывания .

Пользуясь сформулированными правилами и таблицей 1.1 для полусумматора записываем :

p(x₁ ,x₂ ) = x₁ x₂

s(x₁ ,x₂ )= x₁ x₂ +x₁ x₂ СДНФ (1.3)

p(x₁ ,x₂ ) = (x₁ + x₂ ) (x₁ +x₂ ) (x₁ +x₂ )

s(x₁ ,x₂ ) = (x₁ + x₂ ) (x₁ +x₂ )СКНФ (1.4)

3-й этап синтеза - анализ и оптимизация (минимизация) логических функций являются весьма важными компонентами синтеза цифровых автоматов без памяти. Поэтому методы анализа и оптимизации будут рассмотрены отдельно .

4-й этап синтеза - к построению функциональной схемы синтезируемого узла в принципе можно переходить сразу же, как только становится известным аналитическое описание его работы. Построение схемы основано на прямом замещении элементарных произведений, сумм и отрицаний соответственно конъюнкторами, дизъюнкторами и инверторами. Пользуясь соотношениями (1.3), (1.4) можем построить для полусумматора две функциональные схемы .

а) СДНФ

б) СКНФ

Рис. 1.1 Функциональная схема полусумматора .

С функциональной точки зрения обе схемы полностью тождественны, хотя по структурной сложности они значительно различаются .

1.2. Общие сведения о минимизации логических функций

Однозначность соответствия формы логической функции и параметров реальной электронной схемы приводит к необходимости оптимизации функции, т.е. к необходимости получения наилучшего её вида по выбранному критерию. В общем случае речь должна идти об оптимизации функции по таким показателям, как быстродействие, надежность (достижение их максимума), количество потребного оборудования, вес, габариты, энергопотребление, стоимость (достижение их минимума) и т.п. Однако решение этой задачи в общем виде- достаточно трудное дело, тем более что некоторые из указанных показателей находятся в известном противоречии. Например, увеличение быстродействия, как правило, достигается за счет параллельной организации работы данного устройства, но это ведёт к увеличению оборудования, а значит, к уменьшению надежности и увеличению стоимости. Поэтому на практике обычно решается частная задача оптимизации по одному из критериев. Чаще всего это делается по минимуму потребного оборудования, так как при этом автоматически решаются задачи получения минимальных габаритов, веса, энергопотребления, стоимости. Такая частная задача оптимизации логической функции носит название минимизации.

Таким образом, возникает задача нахождения из всех возможных форм логической функции её так называемой минимальной формы, обеспечивающей минимум затрат оборудования при построении синтезируемого узла, если имеется заданный набор логических элементов (НЕ, И, ИЛИ) с определенными техническими характеристиками (например, максимально возможное число входов у элементов И, ИЛИ и др.). Нетрудно заметить, что в рамках нормальных форм минимальной будет такая разновидность функции, которая состоит из наименьшего количества членов при наименьшем, по возможности, общем числе символов переменных.

Из большего числа различных приемов и методов минимизации рассмотрим три наиболее показательных, типовых:

расчетный метод ( метод непосредственных преобразований);

2 расчётно-табличный метод (метод Квайна-Мак-Класки);

табличный метод (метод Вейча-Карно).

Исходной формой для любого из этих методов является одна из совершенных форм-СДНФ или СКНФ. Это обстоятельство практически не накладывает особых ограничений, поскольку переход от произвольной формы функции к её совершенным формам, как это было показано выше, не представляет принципиальных трудностей. В общем случае при любом из вышеупомянутых методов минимизация производится в три этапа.

1-й этап- переход от совершенной Д(К)НФ к сокращенной Д(К)НФ путем производства всех возможных склеиваний друг с другом конституент, а затем всех производны членов более низкого ранга. Таким образом, под сокращенной формой будем понимать дизъюнктивную (или конъюнктивную) форму функции, членами которой служат только изолированные (несклеивающиеся) элементарные конъюнкции (или дизъюнкции). Члены сокращенной Д(К)НФ в алгебре логики носят название простых импликант (имплицент). Не исключен случай, когда СД(К)НФ тождественно равна сокращенной форме рассматриваемой функции.

2-й этап- переход от сокращенной нормальной к тупиковой нормальной форме. Тупиковой будем называть такую нормальную дизъюнктивную (конъюнктивную) форму функции, членами которой являются простые импликанты (имплиценты), среди которых нет ни одной лишней. Термин “лишний” здесь имеет прямое значение. Лишним будем называть такой член функции, удаление которого не влияет на значение истинности этой функции. Возможны случаи, когда в сокращенной форме не оказывается лишних членов. Тогда сокращенная Д(К)НФ тождественно равна тупиковой форме. Не исключены случаи появления нескольких тупиковых форм из одной сокращенной. Название “тупиковая форма” показывает, что дальнейшая минимизация в рамках нормальных форм уже невозможна.

3-й этап - переход от тупиковой (минимальной среди нормальных форм) формы функции к её минимальной форме. Этот этап, называемый обычно факторизацией, уже не является регулярным, как два предыдущих, и требует определенной сноровки, интуиции и опыта. Здесь подразумевается поиск возможностей упрощения функции методом проб и испытаний. Для уменьшения числа операций отрицания следует применять законы инверсии, а для уменьшения числа конъюнкций и дизъюнкций - распределительные законы. На этом же этапе решается и вторая задача- приведение логических функций к виду, удобному для применения реальных логических элементов, которые на практике имеют определенные ограничения по количеству входов и по величине допустимой нагрузки. Различные методы минимизации отличаются друг от друга путями и средствами практической реализации того или иного этапа. При минимизации сложных функций чаще всего ограничиваются двумя первыми этапами, т.е. получением самой простой среди тупиковых ДНФ (КНФ). Рассмотрим каждый из вышеназванных методов.

1.3. Расчетный метод минимизации