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