Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Методы анализа логических корреляций для САПР цифровых КМОП СБИС
Глава 1. Основные понятия, термины, определения
Предыдущая страница
Следующая страница
Оглавление
Введение
Глава 1. Основные понятия, термины, определения
-
1.1. Булева алгебра
1.2. Формирование графа булевых функций
1.3. Двузначная булева алгебра (алгебра логики)
1.4. Бинарные диаграммы решений (BDD)
1.5. Логическая схема
Упражнения
Глава 2. Графовые модели КМОП-схем
+
Глава 3. Анализ помехоустойчивости цифровых схем: основные понятия
+
Глава 4. Анализ логических корреляций в схеме на основе метода импликаций
+
Глава 5. Анализ логических корреляций в схеме на основе метода резолюций
+
Глава 6. Анализ влияния шумов на быстродействие схемы
+
Глава 7. Особенности анализа динамических КМОП-схем
+
Приложение А
Список литературы
Данный блок поддерживает скрол*