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