Глебов А.Л.
1
Миндеева А.А.
1
Петросян В.С.
1
Геворгян А.М.
1
1 Национальный исследовательский университет «МИЭТ»
В статье описывается логическое моделирование цифровых КМОП схем при помощи диаграмм троичных решений. Производится оценка затрачиваемой схемой мощности как пример использования такого моделирования. Как вводная информация объясняется сутью представления Булевых функций в виде диаграмм двоичных решений (BDD). Для описания неполно определенных Булевых функций вида f: Tn->T, T={0,U,1} представляются диаграммы троичных решений (TDD) и вводится понятие последовательно-паралельных диаграмм троичных решений (SP-TDD). На основе представления КПОМ схемы в виде SP-BDD описывается алгоритм построения SP-TDD модели цифровых КМОП схем. Логическое моделирование цифровых схем с использованием TDD дает возможность оптимизации цифровой схемы и оценки параметров цифровой схемы с учетом третьего, неопределенного состояния вентилей. В работе производится логическое моделирование цифровой схемы и оценка потребляемой схемой мощности. В случае TDD представления оценка потребляемой мощности имеет интервальное значение, так как в модели существуют узлы с неопределенным значением и, следовательно, с неопределенным переключением. В последующем эти интервальные значения можно уточнить путем наложения дополнительной информации.
Библиографическая ссылка
Глебов А.Л., Миндеева А.А., Петросян В.С., Геворгян А.М. МОДЕЛИРОВАНИЕ ЦИФРОВЫХ КМОП СХЕМ С ИСПОЛЬЗОВАНИЕМ ДИАГРАММ ТРОИЧНЫХ РЕШЕНИЙ // Научное обозрение. Технические науки. 2014. № 1. С. 119-120;URL: https://science-engineering.ru/ru/article/view?id=154 (дата обращения: 11.07.2025).