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