| Алгебраические разложения кофакторов в BDD представлениях систем не полностью определенных булевых функций |
|
 |
|
|
| Авторы |
| | Бибило П.Н. |
| Год публикации |
| | 2021 |
| DOI |
| | 10.31114/2078-7707-2021-1-24-32 |
| УДК |
| | 517.98 |
|
| Аннотация |
| | Основным критерием оптимизации при синтезе комбинационных схем из библиотечных логических элементов является число литералов в алгебраических многоуровневых представлениях систем полностью определенных булевых функций. После получения BDD представлений (Binary Decision Diagrams – бинарные диаграммы решений) исходных систем не полностью определенных (частичных) булевых функций, предлагается выполнять дополнительную логическую оптимизацию на основе поиска алгебраических представлений частичных подфункций (кофакторов) одного уровня BDD в виде дизъюнкции либо конъюнкции других подфункций данного уровня BDD. Предложенный метод позволяет уменьшать число литералов путем замены формул разложений Шеннона более простыми формулами при переходе к BDD, реализующей систему полностью определенных функций, по которой осуществляется синтез комбинационной логической схемы. |
| Ключевые слова |
| | система булевых функций, дизъюнктивная нормальная форма (ДНФ), разложение Шеннона, Binary Decision Diagram (BDD), синтез логической схемы. |
| Ссылка на статью |
| | Бибило П.Н. Алгебраические разложения кофакторов в BDD представлениях систем не полностью определенных булевых функций // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). 2021. Выпуск 1. С. 24-32. doi:10.31114/2078-7707-2021-1-24-32 |
| Адрес статьи |
| | http://www.mes-conference.ru/data/year2021/pdf/D005.pdf |
